7 Commits

Author	SHA1	Message	Date
Ted Kremenek	eea8c29aa3	Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. ... llvm-svn: 74865	2009-07-06 21:58:46 +00:00
Daniel Dunbar	a45cf5b6b0	Rename clang to clang-cc. ... Tests and drivers updated, still need to shuffle dirs. llvm-svn: 67602	2009-03-24 02:24:46 +00:00
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	fe32cc0ba6	Get RegionStore to work with the retain/release checker and its test cases. ... Because the RegionStore can reason about values beyond the reasoning power of BasicStore, this patch splits some of the test cases for the retain/release checker to have versions that are handled by RegionStore (more warnings) and BasicStore (less warnings). llvm-svn: 62667	2009-01-21 06:57:53 +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
Ted Kremenek	8857703b57	Added test case. ... llvm-svn: 53770	2008-07-18 20:48:10 +00:00