]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 662b71e) | patch
When conjuring symbols to recover path-sensitivity, don't conjure symbols that repres...
authorTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 22:23:12 +0000 (22:23 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 17 Oct 2008 22:23:12 +0000 (22:23 +0000)
commitfd30194a78e8cb6f2cb1138783f7e9d504864884
tree7405f6c6a576c04b6c7f559ea73ff4e0cc83fe71tree | snapshot
parent662b71ee82339c67f2c3689196e716c6560cf925commit | diff
When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct.  We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57739 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFRefCount.cpp diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
lib/Analysis/GRSimpleVals.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.