llvm-project

Commit Graph

Author	SHA1	Message	Date
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	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	4e9d4b5d48	Added GRStateManager::scanReachableSymbols(), a method which scans the reachable symbols from an SVal. - Fixed a bug in EnvironmentManager::RemoveDeadBindings() where it did not mark live all the symbols reachable from a live block-level expression. - Fixed a bug in the retain/release checker where it did not stop tracking symbols that 'escaped' via compound literals being assigned to something the BasicStoreManager didn't reason about. llvm-svn: 64534	2009-02-14 03:16:10 +00:00

Author

SHA1

Message

Date

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

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

4e9d4b5d48

Added GRStateManager::scanReachableSymbols(), a method which scans the reachable

symbols from an SVal.

- Fixed a bug in EnvironmentManager::RemoveDeadBindings() where it did not mark
  live all the symbols reachable from a live block-level expression.

- Fixed a bug in the retain/release checker where it did not stop tracking
  symbols that 'escaped' via compound literals being assigned to something the
  BasicStoreManager didn't reason about.

llvm-svn: 64534

2009-02-14 03:16:10 +00:00

3 Commits