[PATCH] D41938: [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option)

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

We've found a crash on our internal buildbot, would you like to have a look?:

**`$ cat repro.c`**

  int foo(int x, int y) {
    short a = x - 1U;
    return a - y;
  }

**`$ clang -cc1 -analyze -analyzer-checker=core repro.c`**

  Assertion failed: (APSIntType(LInt) == BV.getAPSIntType(SymTy) && "Integers are not of the same type as symbols!"), function doRearrangeUnchecked, file /Users/adergachev/llvm/tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp, line 383.

`1U` can be replaced with `1L` or `1UL`.


Repository:
  rL LLVM

https://reviews.llvm.org/D41938