Zhongxing Xu
|
2e8123e5bb
|
Add utility method. Remove an unused method.
llvm-svn: 60758
|
2008-12-09 10:51:19 +00:00 |
|
Ted Kremenek
|
d8242f19f7
|
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
llvm-svn: 60575
|
2008-12-05 02:27:51 +00:00 |
|
Zhongxing Xu
|
1dffa8cd73
|
Add utility methods.
llvm-svn: 59956
|
2008-11-24 09:38:21 +00:00 |
|
Zhongxing Xu
|
a61731dd0d
|
Add getSize() support for StringRegion.
llvm-svn: 59930
|
2008-11-24 02:18:56 +00:00 |
|
Zhongxing Xu
|
4d45b34a8a
|
Initial support for checking out of bound memory access. Only support
ConcreteInt index for now.
llvm-svn: 59869
|
2008-11-22 13:21:46 +00:00 |
|
Zhongxing Xu
|
b8e54884c8
|
Add SymbolData for array elements and struct fields.
llvm-svn: 59618
|
2008-11-19 11:03:17 +00:00 |
|
Ted Kremenek
|
7eee049eea
|
Flush llvm::errs() when printing out SVals.
llvm-svn: 59334
|
2008-11-15 00:16:53 +00:00 |
|
Ted Kremenek
|
e40b698953
|
Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an adapter for std::ostream, but this will be removed in the future.
llvm-svn: 58445
|
2008-10-30 18:35:10 +00:00 |
|
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 |