[Mlir-commits] [mlir] [mlir][InferIntRangeCommon] Fix Division by Zero Crash (PR #151637)

[LLVM Continuous Integration]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-aarch64-linux-bootstrap-asan` running on `sanitizer-buildbot7` while building `mlir` at step 2 "annotate".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/24/builds/11660

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/main.py:73: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 86605 tests, 72 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70
FAIL: LLVM :: Other/ChangePrinters/print-changed-diff.ll (63979 of 86605)
******************** TEST 'LLVM :: Other/ChangePrinters/print-changed-diff.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-SIMPLE # RUN: at line 6
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-SIMPLE
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f  2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FUNC-FILTER # RUN: at line 10
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FUNC-FILTER
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -print-module-scope 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-PRINT-MOD-SCOPE # RUN: at line 14
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -print-module-scope -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-PRINT-MOD-SCOPE
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs="f,g" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-FUNC # RUN: at line 17
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f,g -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-FUNC
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes="instsimplify,no-op-function" -filter-passes="no-op-function" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-PASSES # RUN: at line 20
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify,no-op-function -filter-passes=no-op-function -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-PASSES
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes="instsimplify,no-op-function" -filter-passes="no-op-function,instsimplify" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-PASSES # RUN: at line 23
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify,no-op-function -filter-passes=no-op-function,instsimplify -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-PASSES
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll:227:34: error: CHECK-DIFF-FILTER-MULT-PASSES: expected string not found in input
; CHECK-DIFF-FILTER-MULT-PASSES: *** IR Dump After NoOpFunctionPass on g omitted because no change ***
                                 ^
<stdin>:38:12: note: scanning from here
+ ret i32 5
           ^
<stdin>:53:1: note: possible intended match here
*** IR Dump After NoOpFunctionPass on f omitted because no change ***
^

Input file: <stdin>
Check file: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll

-dump-input=help explains the following input dump.

Step 14 (stage3/asan check) failure: stage3/asan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:522: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/main.py:73: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 86605 tests, 72 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70
FAIL: LLVM :: Other/ChangePrinters/print-changed-diff.ll (63979 of 86605)
******************** TEST 'LLVM :: Other/ChangePrinters/print-changed-diff.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-SIMPLE # RUN: at line 6
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-SIMPLE
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f  2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FUNC-FILTER # RUN: at line 10
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FUNC-FILTER
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -print-module-scope 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-PRINT-MOD-SCOPE # RUN: at line 14
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -print-module-scope -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-PRINT-MOD-SCOPE
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs="f,g" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-FUNC # RUN: at line 17
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify -filter-print-funcs=f,g -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-FUNC
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes="instsimplify,no-op-function" -filter-passes="no-op-function" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-PASSES # RUN: at line 20
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify,no-op-function -filter-passes=no-op-function -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-PASSES
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes="instsimplify,no-op-function" -filter-passes="no-op-function,instsimplify" 2>&1 -o /dev/null < /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll | /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-PASSES # RUN: at line 23
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/opt -S -print-changed=diff -passes=instsimplify,no-op-function -filter-passes=no-op-function,instsimplify -o /dev/null
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/FileCheck /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll --check-prefix=CHECK-DIFF-FILTER-MULT-PASSES
/home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll:227:34: error: CHECK-DIFF-FILTER-MULT-PASSES: expected string not found in input
; CHECK-DIFF-FILTER-MULT-PASSES: *** IR Dump After NoOpFunctionPass on g omitted because no change ***
                                 ^
<stdin>:38:12: note: scanning from here
+ ret i32 5
           ^
<stdin>:53:1: note: possible intended match here
*** IR Dump After NoOpFunctionPass on f omitted because no change ***
^

Input file: <stdin>
Check file: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/test/Other/ChangePrinters/print-changed-diff.ll

-dump-input=help explains the following input dump.


```

</details>

https://github.com/llvm/llvm-project/pull/151637