[all-commits] [llvm/llvm-project] da5b5a: Revert "[analyzer] Canonicalize SymIntExpr so the ...

Balazs Benics via All-commits all-commits at lists.llvm.org
Fri May 6 03:14:26 PDT 2022

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: da5b5ae852c45236620e1dd8d498b2c49fa5c855
  Author: Balazs Benics <balazs.benics at sigmatechnology.se>
  Date:   2022-05-06 (Fri, 06 May 2022)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
    R clang/test/Analysis/additive-op-on-sym-int-expr.c
    M clang/test/Analysis/expr-inspection.c

  Log Message:
  Revert "[analyzer] Canonicalize SymIntExpr so the RHS is positive when possible"

It seems like multiple users are affected by a crash introduced by this
commit, thus I'm reverting it for the time being.
Read more about the found reproducers at Phabricator.

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

This reverts commit f0d6cb4a5cf5723d7ddab2c7dab74f2f62116a6d.

More information about the All-commits mailing list