diff options
| author | Anna Zaks <ganna@apple.com> | 2013-04-17 22:29:47 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-04-17 22:29:47 +0000 |
| commit | 5b90ae7ba05a10a81f107ec1635deb1bd7292936 (patch) | |
| tree | 0a52838a233920ba113323fae4bbab759f2b5931 /test/Analysis/reference.cpp | |
| parent | 87f9d81d0ab806dcf6ca50a0c068dcb2ba7f51b3 (diff) | |
[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s tracking is not live in the last node of the path
We always register the visitor on a node in which the value we are tracking is live and constrained. However,
the visitation can restart at a node, later on the path, in which the value is under constrained because
it is no longer live. Previously, we just silently stopped tracking in that case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179731 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/reference.cpp')
0 files changed, 0 insertions, 0 deletions