Ted Kremenek
|
cbdce2e53a
|
Added iterators to nonloc::CompoundSVal.
Added pretty-printing for nonloc::CompoundSVal.
llvm-svn: 58442
|
2008-10-30 18:01:28 +00:00 |
|
Ted Kremenek
|
0e19c03382
|
80 col violation.
llvm-svn: 58441
|
2008-10-30 17:53:23 +00:00 |
|
Ted Kremenek
|
ec9a252a9b
|
CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time.
llvm-svn: 58437
|
2008-10-30 17:44:46 +00:00 |
|
Zhongxing Xu
|
ef5f25a05f
|
Add CompoundVal and CompoundValData for representing the value of InitListExpr.
llvm-svn: 58418
|
2008-10-30 04:58:00 +00:00 |
|
Ted Kremenek
|
1a658a991e
|
- Fix type-punning warning in SVals.cpp by using a real iterator class for symbol_iterator.
- Add symbol_iterator support for SymbolicRegions.
llvm-svn: 58300
|
2008-10-27 23:39:39 +00:00 |
|
Zhongxing Xu
|
60de6c6c63
|
Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store.
llvm-svn: 58182
|
2008-10-26 02:27:21 +00:00 |
|
Zhongxing Xu
|
509bd9e30a
|
Add printing with llvm::raw_ostream methods to SVals.
llvm-svn: 58073
|
2008-10-24 06:00:12 +00:00 |
|
Zhongxing Xu
|
7ff32d0955
|
Rename:
RValues.h/cpp => SVals.h/cpp
llvm-svn: 57893
|
2008-10-21 05:41:03 +00:00 |
|