Page MenuHomePhabricator

[analyzer] ConditionBRVisitor: better readability in comparisons

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


  • 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