diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-10-27 21:54:31 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-10-27 21:54:31 +0000 |
| commit | bf26368255d282aec6f5675152b03b1ff24d9ef7 (patch) | |
| tree | 9f05a8520529d190e29955576ab769645115ae00 /llvm/lib | |
| parent | 2837b9ef6c1d38e4b49fd32da2abe01b1cece765 (diff) | |
| download | bcm5719-llvm-bf26368255d282aec6f5675152b03b1ff24d9ef7.tar.gz bcm5719-llvm-bf26368255d282aec6f5675152b03b1ff24d9ef7.zip | |
Added preliminary support for CompoundLiterals in the static analyzer:
- GRExprEngine::VisitCompoundLiteral...
(1) visits the initializer list (generating ExplodedNodes)
(2) creates a CompoundMemRegion for the literal
(3) creates a new state with the bound literal values using
GRStateManager::BindCompoundLiteral
- GRStateManager::BindCompoundLiteral simply calls
StoreManager::BindCompoundLiteral to get a new store and returns a persistent
GRState with that store.
- BasicStore::BindCompoundLiteral simply returns the same store, as it
doesn't handle field sensitivity
- RegionStore::BindCompoundLiteral currently fires an assert (pending discussion
of how to best implement mappings for CompoundLiteralRegion).
llvm-svn: 58277
Diffstat (limited to 'llvm/lib')
0 files changed, 0 insertions, 0 deletions

