[clang] [analyzer] Model overflow builtins (PR #102602)

Thu Oct 3 03:44:43 PDT 2024

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `fuchsia-x86_64-linux` running on `fuchsia-debian-64-us-central1-a-1` while building `clang` at step 4 "annotate".

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

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

```
Step 4 (annotate) failure: 'python ../llvm-zorg/zorg/buildbot/builders/annotated/fuchsia-linux.py ...' (failure)
...
[666/1327] Building CXX object unittests/ADT/CMakeFiles/ADTTests.dir/EnumeratedArrayTest.cpp.o
clang++: warning: optimization flag '-ffat-lto-objects' is not supported [-Wignored-optimization-argument]
[667/1327] Linking CXX executable bin/yaml2obj
[667/1327] Running lld test suite
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/ld.lld
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/lld-link
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/ld64.lld
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/wasm-ld
-- Testing: 2990 tests, 60 workers --
Testing:  0.. 10.. 20
FAIL: lld :: ELF/basic-block-sections-pc32reloc.s (702 of 2990)
******************** TEST 'lld :: ELF/basic-block-sections-pc32reloc.s' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 7: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-mc -filetype=obj -triple=x86_64 /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s -o /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-mc -filetype=obj -triple=x86_64 /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s -o /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
RUN: at line 8: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-objdump -dr /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o| /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/FileCheck /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s --check-prefix=RELOC
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-objdump -dr /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/FileCheck /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s --check-prefix=RELOC
/var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s:13:15: error: RELOC-NEXT: is not on the line after the previous match
# RELOC-NEXT: R_X86_64_PC32
              ^
<stdin>:11:20: note: 'next' match was here
 000000000000000a: R_X86_64_PC32 .text-0x1
                   ^
<stdin>:2:63: note: previous match ended here
/var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o: file format elf64-x86-64
                                                              ^
<stdin>:3:1: note: non-matching line after previous match is here

^

Input file: <stdin>
Check file: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s

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

Input was:
<<<<<<
         .
         .
         .
         6: 0000000000000000 <foo>: 
         7:  0: 0f 1f 00 nopl (%rax) 
         8:  3: 0f 84 00 00 00 00 je 0x9 <foo+0x9> 
         9:  0000000000000005: R_X86_64_PLT32 .text-0x4 
        10:  9: e9 00 00 00 00 jmp 0xe <foo+0xe> 
Step 7 (check) failure: check (failure)
...
[666/1327] Building CXX object unittests/ADT/CMakeFiles/ADTTests.dir/EnumeratedArrayTest.cpp.o
clang++: warning: optimization flag '-ffat-lto-objects' is not supported [-Wignored-optimization-argument]
[667/1327] Linking CXX executable bin/yaml2obj
[667/1327] Running lld test suite
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/ld.lld
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/lld-link
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/ld64.lld
llvm-lit: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/wasm-ld
-- Testing: 2990 tests, 60 workers --
Testing:  0.. 10.. 20
FAIL: lld :: ELF/basic-block-sections-pc32reloc.s (702 of 2990)
******************** TEST 'lld :: ELF/basic-block-sections-pc32reloc.s' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 7: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-mc -filetype=obj -triple=x86_64 /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s -o /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-mc -filetype=obj -triple=x86_64 /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s -o /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
RUN: at line 8: /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-objdump -dr /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o| /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/FileCheck /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s --check-prefix=RELOC
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/llvm-objdump -dr /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o
+ /var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/bin/FileCheck /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s --check-prefix=RELOC
/var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s:13:15: error: RELOC-NEXT: is not on the line after the previous match
# RELOC-NEXT: R_X86_64_PC32
              ^
<stdin>:11:20: note: 'next' match was here
 000000000000000a: R_X86_64_PC32 .text-0x1
                   ^
<stdin>:2:63: note: previous match ended here
/var/lib/buildbot/fuchsia-x86_64-linux/build/llvm-build-8ttjmpeb/tools/lld/test/ELF/Output/basic-block-sections-pc32reloc.s.tmp.o: file format elf64-x86-64
                                                              ^
<stdin>:3:1: note: non-matching line after previous match is here

^

Input file: <stdin>
Check file: /var/lib/buildbot/fuchsia-x86_64-linux/llvm-project/lld/test/ELF/basic-block-sections-pc32reloc.s

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

Input was:
<<<<<<
         .
         .
         .
         6: 0000000000000000 <foo>: 
         7:  0: 0f 1f 00 nopl (%rax) 
         8:  3: 0f 84 00 00 00 00 je 0x9 <foo+0x9> 
         9:  0000000000000005: R_X86_64_PLT32 .text-0x4 
        10:  9: e9 00 00 00 00 jmp 0xe <foo+0xe> 

```

</details>

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