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 | 54f4d01bd305b0db181a8be0d7feb324e2ead8fa (patch) | |
tree | 4b9840e39106f476a46d5e7b0aaa327e01aa293d /clang/test/Analysis/inlining/path-notes.cpp | |
parent | 9aca3c61c040d59f8824b0e5ee394d95ae8f6ac8 (diff) | |
download | bcm5719-llvm-54f4d01bd305b0db181a8be0d7feb324e2ead8fa.tar.gz bcm5719-llvm-54f4d01bd305b0db181a8be0d7feb324e2ead8fa.zip |
[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.
llvm-svn: 179731
Diffstat (limited to 'clang/test/Analysis/inlining/path-notes.cpp')
0 files changed, 0 insertions, 0 deletions