summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/BasicStore.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-594/+0
| | | | | | | Eventually there will also be a lib/StaticAnalyzer/Frontend that will handle initialization and checker registration. Yet another library to avoid cyclic dependencies between Core and Checkers. llvm-svn: 125124
* Fix whitespace.NAKAMURA Takumi2011-01-271-1/+0
| | | | llvm-svn: 124364
* 7bit-ize.NAKAMURA Takumi2011-01-271-2/+2
| | | | llvm-svn: 124363
* [analyzer] Handle the dot syntax for properties in the ExprEngine.Argyrios Kyrtzidis2011-01-251-0/+1
| | | | | | | | | | We translate property accesses to obj-c messages by simulating "loads" or "stores" to properties using a pseudo-location SVal kind (ObjCPropRef). Checkers can now reason about obj-c messages for both explicit message expressions and implicit messages due to property accesses. llvm-svn: 124161
* Rename 'RemoveDeadBindings()' to 'removeDeadBindings()'Ted Kremenek2011-01-141-3/+3
| | | | llvm-svn: 123460
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+594
layout. :) Rename the 'EntoSA' directories to 'StaticAnalyzer'. Internally we will still use the 'ento' namespace for the analyzer engine (unless there are further sabre rattlings...). llvm-svn: 122514
OpenPOWER on IntegriCloud