[llvm] [ConstraintElim] Extend AND implication logic to support OR as well. (PR #76044)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Thu Dec 21 05:54:21 PST 2023
fhahn wrote:
> Hi,
>
> It looks like this commit broke some bots:
>
> * https://lab.llvm.org/buildbot/#/builders/198/builds/7506
> * https://lab.llvm.org/buildbot/#/builders/176/builds/7471
> * https://lab.llvm.org/buildbot/#/builders/197/builds/11521
> * https://lab.llvm.org/buildbot/#/builders/184/builds/8685
>
> Failed Tests (1): test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-950704-1.test
>
> Could you please look at this ?
I don't think to underlying issue is with this patch. It looks like the test has undefined behavior (signed integer overflow):
```
llvm-test-suite/SingleSource/Regression/C/gcc-c-torture/execute/950704-1.c:9:9: runtime error: signed integer overflow: -9223372036854775808 + -9223372036854775808 cannot be represented in type 'long long'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior llvm-test-suite/SingleSource/Regression/C/gcc-c-torture/execute/950704-1.c:9:9 in
```
https://github.com/llvm/llvm-project/pull/76044
More information about the llvm-commits
mailing list