[all-commits] [llvm/llvm-project] 5f02ad: [analyzer][solver] Improve reasoning for not equal...

[Manas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5f02ad880e423a33f903299f0123e9d8a59bbe8d
      https://github.com/llvm/llvm-project/commit/5f02ad880e423a33f903299f0123e9d8a59bbe8d
  Author: Manas <manas18244 at iiitd.ac.in>
  Date:   2023-01-25 (Wed, 25 Jan 2023)

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

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

This patch fixes certain cases where solver was not able to infer
disequality due to overlapping of values in rangeset. This case was
casting from lower signed type to bigger unsigned type.

Reviewed By: steakhal

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