summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-16/+18
* GRExprEngine:Ted Kremenek2009-03-201-1/+7
* Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.Ted Kremenek2009-03-181-2/+10
* Add a hack in the analyzer to recover some path-sensitivity at branchTed Kremenek2009-03-131-1/+58
* GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the...Ted Kremenek2009-03-111-7/+6
* GRExprEngine: Add pretty-stack trace printing for crashes and assertion failu...Ted Kremenek2009-03-111-2/+14
* GRExprEngine: For places we might conjure up a new symbol to recoverTed Kremenek2009-03-111-7/+11
* Use the BugReports in BugReporter to determine the root nodes for "trim-egraph".Ted Kremenek2009-03-111-31/+15
* Remove some dead spacing. No functionality change.Ted Kremenek2009-03-091-2/+0
* Fix another GRExprEngine::VisitCast regression: handle casts of void* to func...Ted Kremenek2009-03-051-1/+16
* Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function poin...Ted Kremenek2009-03-051-23/+26
* Add 'cast<>' to remove an extra function call and dynamic cast.Ted Kremenek2009-03-051-2/+2
* More fixes in cast logic.Ted Kremenek2009-03-051-16/+9
* GRExprEngine: Polish up handling of casting integer constants to pointers and...Ted Kremenek2009-03-051-2/+8
* Fix regression in transparent translation of nonloc::ConcreteInto to loc::Con...Ted Kremenek2009-03-051-10/+17
* GRExprEngine::VisitCast: Just pass through function and block pointers.Ted Kremenek2009-03-041-0/+6
* Create "TypedViewRegions" that layer on top of SymbolicRegions when handlingTed Kremenek2009-03-041-5/+23
* Revert 65707 (causes stack memory to be referenced after it is released).Ted Kremenek2009-02-281-3/+3
* remove static ctor.Chris Lattner2009-02-281-3/+3
* improve compatibility with the VC++'08 C++ compiler. Patch byChris Lattner2009-02-281-1/+2
* Create a new TypeNodes.def file that enumerates all of the types,Douglas Gregor2009-02-261-3/+3
* Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the sa...Ted Kremenek2009-02-251-10/+17
* Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek2009-02-251-3/+49
* Fix <rdar://problem/6611677>: Add basic transfer function support in the staticTed Kremenek2009-02-241-1/+10
* Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek2009-02-191-2/+28
* Add panic function.Ted Kremenek2009-02-171-1/+2
* Add '_assert' to list of known panic functions.Ted Kremenek2009-02-171-2/+4
* Add hook to add attributes to function declarations that we knowDouglas Gregor2009-02-141-1/+2
* GRExprEngine: Handle empty statement expressions.Ted Kremenek2009-02-141-8/+12
* Use GRTransferFuncs::EvalBind when processing variable initializations.Ted Kremenek2009-02-141-26/+34
* Static analyzer:Ted Kremenek2009-02-141-32/+22
* Implicitly declare certain C library functions (malloc, strcpy, memmove,Douglas Gregor2009-02-131-3/+1
* GRExprEngine:Ted Kremenek2009-02-131-194/+209
* GRExprEngine: When processing compound assignments, do a switch table lookup ...Ted Kremenek2009-02-071-6/+13
* Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek2009-02-041-46/+13
* Remove dead code.Zhongxing Xu2009-02-041-11/+1
* make SM::getColumnNumber take a predecomposed FileID/offset, whichChris Lattner2009-02-041-4/+7
* Move method out-of-line.Ted Kremenek2009-01-301-0/+30
* Switch Type::isAggregateType to use the C++ definition of "aggregateDouglas Gregor2009-01-301-2/+1
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-9/+8
* Remove ScopedDecl, collapsing all of its functionality into Decl, soDouglas Gregor2009-01-201-1/+1
* Fix analyzer crash found when scanning Wine sources where the analyzer used o...Ted Kremenek2009-01-171-35/+25
* static analyzer: Handle casts from arrays to integers. This fixes PR 3297.Ted Kremenek2009-01-131-11/+33
* Add QualifiedDeclRefExpr, which retains additional source-locationDouglas Gregor2009-01-061-0/+2
* Fix initialization order.Zhongxing Xu2008-12-221-3/+3
* Add an option to make 'RemoveDeadBindings' a configurable behavior. This enablesZhongxing Xu2008-12-221-3/+8
* Add support for member references (E1.E2, E1->E2) with C++ semantics,Douglas Gregor2008-12-201-2/+6
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-6/+5
* ProgramPoint:Ted Kremenek2008-12-161-80/+88
* Fix regression in handling sizeof(void) in the static analyzer.Ted Kremenek2008-12-151-13/+15
OpenPOWER on IntegriCloud