[all-commits] [llvm/llvm-project] 77ab72: [analyzer][solver] Introduce reasoning for not equ...

[Manas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 77ab7281aa36800dc77dab07bd40e6e0fd9f0b78
      https://github.com/llvm/llvm-project/commit/77ab7281aa36800dc77dab07bd40e6e0fd9f0b78
  Author: Manas <manas18244 at iiitd.ac.in>
  Date:   2022-12-09 (Fri, 09 Dec 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    M clang/test/Analysis/constant-folding.c

  Log Message:
  -----------
  [analyzer][solver] Introduce reasoning for not equal to operator

With this patch, the solver can infer results for not equal (!=) operator
over Ranges as well. This also fixes the issue of comparison between
different types, by first converting the RangeSets to the resulting type,
which then can be used for comparisons.

Patch by Manas.

Reviewed By: steakhal

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