Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
5512f28fa7b26e87e613dc1558b29b2a89647809
/
test
/
Analysis
/
NoReturn.m
9457a80
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
by Ted Kremenek
· 16 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
2e84257
For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore.
by Ted Kremenek
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
560624a
'&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command.
by Argyrios Kyrtzidis
· 16 years ago
32dc95e
Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms).
by Ted Kremenek
· 16 years ago