HomePhabricator

[analyzer] Don't make ConditionBRVisitor events prunable when the condition is…

Description

[analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field

Exactly what it says on the tin! Note that we're talking about interestingness
in general, hence this isn't a control-dependency-tracking specific patch.

Differential Revision: https://reviews.llvm.org/D65724

Details

Committed
SzelethusAug 21 2019, 2:59 PM
Differential Revision
D65724: [analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field
Branches
Unknown
Tags
Unknown