6 Commits

Author	SHA1	Message	Date
Ted Kremenek	51189468ea	Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. ... llvm-svn: 64854	2009-02-17 23:32:18 +00:00
Ted Kremenek	b535181199	Static Analyzer driver/options (partial) cleanup: ... - Move all analyzer options logic to AnalysisConsumer.cpp. - Unified specification of stores/constraints/output to be: -analyzer-output=... -analyzer-store=... -analyzer-constraints=... instead of -analyzer-range-constraints, -analyzer-store-basic, etc. - Updated drivers (ccc-analyzer, scan-builds, new ccc) to obey this new interface - Updated test cases to conform to new driver options llvm-svn: 64737	2009-02-17 04:27:41 +00:00
Ted Kremenek	2e1dfe25c5	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. ... llvm-svn: 62816	2009-01-22 23:56:56 +00:00
Daniel Dunbar	34fc92fdc2	Add -analyze action to run static analyzer, instead of inferring from ... individual checker options. llvm-svn: 62634	2009-01-20 23:17:32 +00:00
Argyrios Kyrtzidis	5708a4661e	'&&' 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. ... llvm-svn: 53135	2008-07-04 10:33:02 +00:00
Ted Kremenek	2eed4d7a25	Moved test case NoReturn.m from Analysis-Apple to Analysis (now works on all platforms). ... llvm-svn: 52359	2008-06-16 21:05:04 +00:00