| commit | 94ae8fd470471134114599ccfc2301da05719212 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Mar 31 04:46:53 2011 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Mar 31 04:46:53 2011 +0000 |
| tree | 26bf9b954f9a3ba4660439d55b3d45f9be00ae56 | |
| parent | 41c5f498b2d10fab683f1c5685ff79c90a737d24 [diff] |
Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead, recover some path-sensitivity by conjuring a symbol. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128612 91177308-0d34-0410-b5e6-96231b3b80d8