diff options
| author | Kristof Umann <dkszelethus@gmail.com> | 2019-08-13 23:22:33 +0000 |
|---|---|---|
| committer | Kristof Umann <dkszelethus@gmail.com> | 2019-08-13 23:22:33 +0000 |
| commit | 46929df72333dee8ace9fbdaf05a5e03a882708b (patch) | |
| tree | 0b341993d0cc1b6839b0de49474848915d4cf709 /lldb/packages/Python/lldbsuite/test/lldbplatform.py | |
| parent | b5eb3e1e82713e4e626fc90e7749960a91e14af1 (diff) | |
| download | bcm5719-llvm-46929df72333dee8ace9fbdaf05a5e03a882708b.tar.gz bcm5719-llvm-46929df72333dee8ace9fbdaf05a5e03a882708b.zip | |
[analyzer] Prune calls to functions with linear CFGs that return a non-zero constrained value
During the evaluation of D62883, I noticed a bunch of totally
meaningless notes with the pattern of "Calling 'A'" -> "Returning value"
-> "Returning from 'A'", which added no value to the report at all.
This patch (not only affecting tracked conditions mind you) prunes
diagnostic messages to functions that return a value not constrained to
be 0, and are also linear.
Differential Revision: https://reviews.llvm.org/D64232
llvm-svn: 368771
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/lldbplatform.py')
0 files changed, 0 insertions, 0 deletions
