This is an archive of the discontinued LLVM Phabricator instance.

[analyzer] ConditionBRVisitor: better readability in comparisons
AbandonedPublic

Authored by Charusso on Mar 8 2019, 2:12 PM.

Details

Summary
  • If there is a value in the comparison it is easier to read as Assuming 'i' is not '1' instead of Assuming 'i' is not equal to '1'.
  • Fixed the patternMatch() function to determine if the left and right operands of the comparison are variables.

Diff Detail