summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu...Ted Kremenek2008-02-261-2/+4
* Don't emit divide-by-zero errors when we divide by an unknown (notTed Kremenek2008-02-261-45/+57
* Removed static analysis-specific diagnostics from DiagnosticKinds.def.Ted Kremenek2008-02-261-1/+5
* Small fixes to shore up overhauling of transfer function logic for '&&' and '||.Ted Kremenek2008-02-261-2/+9
* optimization: no longer create ExplodedNodes for IntegerLiteral andTed Kremenek2008-02-261-27/+2
* Major cleanup of the transfer function logic for '&&', '||', and '?'. WeTed Kremenek2008-02-261-53/+109
* Fixed inverted condition.Ted Kremenek2008-02-261-1/+1
* Added lazy "symbolication" of parameter variables and global variables.Ted Kremenek2008-02-261-9/+62
* Added FIXME.Ted Kremenek2008-02-261-0/+2
* Better handling of calls to functions via function pointers.Ted Kremenek2008-02-251-3/+5
* Expanded transfer function support for divide-by-zero checking to includeTed Kremenek2008-02-251-3/+10
* Added transfer function support for checking for divide-by-zero errors.Ted Kremenek2008-02-251-1/+55
* Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplifiedTed Kremenek2008-02-221-0/+2
* Bug fix: For transfer function for unary "!", compare the subexpression valueTed Kremenek2008-02-221-1/+2
* Added transfer function support for dispatching to functions we don't knowTed Kremenek2008-02-211-4/+14
* Regression fix: Handle pointer arithmetic in unary ++/--.Ted Kremenek2008-02-211-2/+2
* Removed bogus assertions regard LValues binding to UnknownVal; they canTed Kremenek2008-02-211-4/+8
* FIX: Promote the correct operand.Ted Kremenek2008-02-211-1/+1
* Simplified and generalized transfer function logic for casts, allowingTed Kremenek2008-02-211-6/+14
* Added transfer function support for sizeof(void)Ted Kremenek2008-02-211-5/+9
* Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek2008-02-211-270/+329
* Implemented transfer function logic for unary '+'Ted Kremenek2008-02-201-0/+6
* Placed transfer function logic for dereferences in its own method, while atTed Kremenek2008-02-201-85/+130
* Added special handling for UninitializedVals for the transfer function logicTed Kremenek2008-02-191-0/+20
* Fixed transfer function for casts to always evaluate the effects of theTed Kremenek2008-02-191-5/+8
* Added transfer function support for casting to "void".Ted Kremenek2008-02-191-2/+3
* Added back explicit state/node creation when visiting IntegerLiterals andTed Kremenek2008-02-191-1/+26
* Added boilerplate transfer function support for CallExprs.Ted Kremenek2008-02-191-10/+55
* Added FIXME for properly handling local arrays using symbolic LValues.Ted Kremenek2008-02-191-0/+5
* --grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek2008-02-191-13/+33
* Added more assertions and checks in transfer function logic to check forTed Kremenek2008-02-181-7/+28
* Refactored code for transfer functions for binary operators involving two LVa...Ted Kremenek2008-02-151-5/+10
* Added transfer function support for conditional branches with a NULL conditio...Ted Kremenek2008-02-151-5/+30
* Simplified transfer function logic for ++/-- operators.Ted Kremenek2008-02-151-69/+28
* Remove unnecessary references to VariableArrayType from Analysis.Eli Friedman2008-02-151-2/+2
* Added boilerplate transfer function support for pointer arithmetic operations.Ted Kremenek2008-02-151-2/+10
* When visualizing ExplodedNodes created by GRExprEngine, color nodes withTed Kremenek2008-02-141-1/+10
* Renamed GRConstants => GRSimpleVals.Ted Kremenek2008-02-141-32/+8
* #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine toTed Kremenek2008-02-141-0/+6
* Partitioned definition/implementation of GRExperEngine into .h and .cpp.Ted Kremenek2008-02-141-337/+7
* Migrated transfer functions for binary operators for simple value trackingTed Kremenek2008-02-141-20/+29
* Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple...Ted Kremenek2008-02-141-2/+10
* Started partitioning of transfer function logic (and thus the policy behind Ted Kremenek2008-02-141-4/+20
* Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".Ted Kremenek2008-02-141-1/+0
* Added support to GRCoreEngine/GRExprEngine for processing control-flowTed Kremenek2008-02-131-5/+127
* Fixed 80 col violations.Ted Kremenek2008-02-131-6/+6
* Unbreak the build.Ted Kremenek2008-02-131-1/+1
* Renamed files to match class renaming in r47070:Ted Kremenek2008-02-131-0/+1415
OpenPOWER on IntegriCloud