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 
 line 383.

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


cfe-commits mailing list

Reply via email to