[all-commits] [llvm/llvm-project] 12887a: [Analyzer][Core] Better simplification in SimpleSV...

[Gabor Marton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 12887a202404471ddf77f9fae658700573cbebe8
      https://github.com/llvm/llvm-project/commit/12887a202404471ddf77f9fae658700573cbebe8
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2021-11-23 (Tue, 23 Nov 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
    A clang/test/Analysis/svalbuilder-simplify-in-evalbinop.cpp

  Log Message:
  -----------
  [Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNN

Make the SValBuilder capable to simplify existing
SVals based on a newly added constraints when evaluating a BinOp.

Before this patch, we called `simplify` only in some edge cases.
However, we can and should investigate the constraints in all cases.

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