nicolas/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
113,366 Commits 41 Branches 151 Tags
83d382b1cad133cb163a68dd7149fae2802275e1
Commit Graph

11 Commits

Author SHA1 Message Date
David Blaikie
83d382b1ca Switch assert(0/false) llvm_unreachable. 
llvm-svn: 140367
 2011-09-23 05:06:16 +00:00
Ted Kremenek
5ef32dbf2a Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. 
llvm-svn: 137537
 2011-08-12 23:37:29 +00:00
Ted Kremenek
8df44b2632 [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't. 
Patch by Olaf Krzikalla!

llvm-svn: 137498
 2011-08-12 20:02:48 +00:00
Anna Zaks
9b25cee36f Optimizations for Dependent Symbol tracking (as per Ted's code review for r137309): 
1) Change SymbolDependTy map to keep pointers as data. And other small tweaks like making the DenseMap smaller 64->16 elements; remove removeSymbolDependencies() as it will probably not be used.

2) Do not mark dependents live more then once.

llvm-svn: 137401
 2011-08-12 00:34:56 +00:00
Anna Zaks
22a9d0f316 Analyzer Core: Adding support for user-defined symbol dependencies. (For example, the allocated resource symbol only needs to be freed if no error has been returned by the allocator, so a checker might want to make the lifespan of the error code symbol depend on the allocated resource symbol.) Note, by default, the map that holds the dependencies will get destroyed along with the SymbolManager at the end of function exploration. 
llvm-svn: 137309
 2011-08-11 16:43:28 +00:00
Ted Kremenek
c91ca30b4c [analyzer] Change SymbolReaper to store region roots implied by the Environment, allowing it be queried when 
determining if symbols derived from regions are still live.

llvm-svn: 137005
 2011-08-06 00:29:57 +00:00
Ted Kremenek
e9fda1e48a [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. 
The motivation of this large change is to drastically simplify the logic in ExprEngine going forward.

Some fallout is that the output of some BugReporterVisitors is not as accurate as before; those will
need to be fixed over time.  There is also some possible performance regression as RemoveDeadBindings
will be called frequently; this can also be improved over time.

llvm-svn: 136419
 2011-07-28 23:07:59 +00:00
Chris Lattner
0e62c1cc0b remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 
them into the clang namespace.

llvm-svn: 135852
 2011-07-23 10:55:15 +00:00
Zhanyong Wan
85a203ebdd Makes most methods in SVals.h conform to the naming guide. Reviewed 
by kremenek.

llvm-svn: 125687
 2011-02-16 21:13:32 +00:00
Ted Kremenek
f8cbac4b91 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. 
This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries.

llvm-svn: 125251
 2011-02-10 01:03:03 +00:00
Argyrios Kyrtzidis
fa0734ec4f [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. 
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
 2011-02-08 22:30:36 +00:00