HomePhabricator

[analyzer] Prune calls to functions with linear CFGs that return a non-zero…

Description

[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

Details

Committed
SzelethusTue, Aug 13, 4:22 PM
Differential Revision
D64232: [analyzer] Prune calls to functions with linear CFGs that return a non-zero constrained value
Branches
Unknown
Tags
Unknown