summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRTransferFuncs.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit ↵Ted Kremenek2008-11-151-2/+2
| | | | | | conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. llvm-svn: 59335
* Rename:Zhongxing Xu2008-10-301-2/+2
| | | | | | | - SetSVal(GRState*, Loc, SVal) => BindLoc - SetSVal(GRState*, Expr*, SVal) => BindExpr llvm-svn: 58421
* Fix 80-col.Zhongxing Xu2008-10-301-1/+1
| | | | llvm-svn: 58417
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-4/+4
| | | | | | | | | | RVal => SVal LVal => Loc NonLVal => NonLoc lval => loc nonlval => nonloc llvm-svn: 57671
* Rename ValueState -> GRState.Ted Kremenek2008-08-131-7/+7
| | | | | | Rename ValueStateManager -> GRStateManager. llvm-svn: 54721
* Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ↵Ted Kremenek2008-07-181-1/+1
| | | | | | unfortunately needed because virtual methods with the same name can be hidden by subclasses. llvm-svn: 53751
* Created ValueStateSet class to manage the creation of multiple states by a ↵Ted Kremenek2008-07-181-11/+5
| | | | | | | | method. Modified the new EvalBinOpNN to generate states instead of nodes. This is a much simpler interface and is what clients will want to do. llvm-svn: 53750
* Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some ↵Ted Kremenek2008-07-171-0/+15
| | | | | | of the methods only return an RVal; we want them to be able to create an arbitrary number of states. llvm-svn: 53739
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-1/+1
| | | | | | | | | current store implementation is now encapsulated by BasicStore. These changes prompted some long due constification of ValueState. Much of the diffs in this patch include adding "const" qualifiers. llvm-svn: 53423
* Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek2008-04-161-0/+20
| | | | | | represent possible stores to "Unknown." llvm-svn: 49811
* Add missing file.Ted Kremenek2008-04-161-0/+19
llvm-svn: 49805
OpenPOWER on IntegriCloud