[llvm] [IR] Reject unhandled assume bundles and seperate them from normal attributes (PR #197007)

Mon Jun 8 08:33:30 PDT 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `lldb-remote-linux-win` running on `as-builder-10` while building `llvm` at step 8 "build-default".

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

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

```
Step 8 (build-default) failure: cmake (failure)
...
8.235 [3/26/2493]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/thread.cpp.o
8.287 [3/25/2494]Linking CXX static library C:\buildbot\as-builder-10\lldb-x-aarch64\build\lib\clang\23\lib\aarch64-unknown-linux-gnu\libclang_rt.builtins.a
8.338 [3/24/2495]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/filesystem/path.cpp.o
8.352 [3/23/2496]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/condition_variable.cpp.o
8.365 [3/22/2497]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/memory.cpp.o
8.414 [3/21/2498]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/atomic.cpp.o
8.435 [3/20/2499]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/regex.cpp.o
8.520 [3/19/2500]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/print.cpp.o
8.521 [3/18/2501]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/ios.cpp.o
8.554 [3/17/2502]Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o
FAILED: libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o 
C:\buildbot\as-builder-10\lldb-x-aarch64\build\.\bin\clang++.exe --target=aarch64-unknown-linux-gnu -DLIBCXX_BUILDING_LIBCXXABI -DLIBC_NAMESPACE=__llvm_libc_common_utils -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_LIBCPP_AVAILABILITY_MINIMUM_HEADER_VERSION=2 -D_LIBCPP_BUILDING_LIBRARY -D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -D_LIBCPP_LINK_PTHREAD_LIB -D_LIBCPP_LINK_RT_LIB -D_LIBCPP_REMOVE_TRANSITIVE_INCLUDES -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src -IC:/buildbot/as-builder-10/lldb-x-aarch64/build/include/aarch64-unknown-linux-gnu/c++/v1 -IC:/buildbot/as-builder-10/lldb-x-aarch64/build/include/c++/v1 -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxxabi/include -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/cmake/Modules/../../libc -mcpu=cortex-a78 -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Xclang -fno-pch-timestamp -O3 -DNDEBUG -UNDEBUG -std=c++26 -faligned-allocation -nostdinc++ -fvisibility-inlines-hidden -fvisibility=hidden -fsized-deallocation -Wall -Wextra -Wnewline-eof -Wshadow -Wwrite-strings -Wno-unused-parameter -Wno-long-long -Werror=return-type -Wextra-semi -Wundef -Wunused-template -Wformat-nonliteral -Wzero-length-array -Wdeprecated-redundant-constexpr-static-def -Wno-nullability-completeness -Wmissing-prototypes -Wno-user-defined-literals -Wno-covered-switch-default -Wno-suggest-override -Wno-error -fdebug-prefix-map=C:/buildbot/as-builder-10/lldb-x-aarch64/build/include/c++/v1=C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -MF libcxx\src\CMakeFiles\cxx_static.dir\charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -c C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src/charconv.cpp
Assertion failed: Ptr == V, file C:\buildbot\as-builder-10\lldb-x-aarch64\llvm-project\llvm\lib\Analysis\ValueTracking.cpp, line 1093
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and dumped files.
Stack dump:
0.	Program arguments: C:\\buildbot\\as-builder-10\\lldb-x-aarch64\\build\\.\\bin\\clang++.exe --target=aarch64-unknown-linux-gnu -DLIBCXX_BUILDING_LIBCXXABI -DLIBC_NAMESPACE=__llvm_libc_common_utils -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_LIBCPP_AVAILABILITY_MINIMUM_HEADER_VERSION=2 -D_LIBCPP_BUILDING_LIBRARY -D_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER -D_LIBCPP_LINK_PTHREAD_LIB -D_LIBCPP_LINK_RT_LIB -D_LIBCPP_REMOVE_TRANSITIVE_INCLUDES -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src -IC:/buildbot/as-builder-10/lldb-x-aarch64/build/include/aarch64-unknown-linux-gnu/c++/v1 -IC:/buildbot/as-builder-10/lldb-x-aarch64/build/include/c++/v1 -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxxabi/include -IC:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/cmake/Modules/../../libc -mcpu=cortex-a78 -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Xclang -fno-pch-timestamp -O3 -DNDEBUG -UNDEBUG -std=c++26 -faligned-allocation -nostdinc++ -fvisibility-inlines-hidden -fvisibility=hidden -fsized-deallocation -Wall -Wextra -Wnewline-eof -Wshadow -Wwrite-strings -Wno-unused-parameter -Wno-long-long -Werror=return-type -Wextra-semi -Wundef -Wunused-template -Wformat-nonliteral -Wzero-length-array -Wdeprecated-redundant-constexpr-static-def -Wno-nullability-completeness -Wmissing-prototypes -Wno-user-defined-literals -Wno-covered-switch-default -Wno-suggest-override -Wno-error -fdebug-prefix-map=C:/buildbot/as-builder-10/lldb-x-aarch64/build/include/c++/v1=C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -MF libcxx\\src\\CMakeFiles\\cxx_static.dir\\charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_static.dir/charconv.cpp.o -c C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src/charconv.cpp
1.	<eof> parser at end of file
2.	Optimizer
3.	Running pass "require<globals-aa>,function(invalidate<aa>),require<profile-summary>,cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,jump-table-to-switch,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto;no-check-exit-count>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,loop(loop-idiom,indvars,extra-simple-loop-unswitch-passes,loop-idiom-vectorize,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;switch-to-arithmetic;no-switch-to-lookup;keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split,coro-annotation-elide)),function(invalidate<should-not-run-function-passes>),cgscc(devirt<4>())" on module "C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src/charconv.cpp"
4.	Running pass "cgscc(devirt<4>(inline,function-attrs<skip-non-recursive-function-attrs>,argpromotion,openmp-opt-cgscc,function<eager-inv;no-rerun>(sroa<modify-cfg>,early-cse<memssa>,speculative-execution<only-if-divergent-target>,jump-threading,correlated-propagation,jump-table-to-switch,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,aggressive-instcombine,libcalls-shrinkwrap,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,reassociate,constraint-elimination,loop-mssa(loop-instsimplify,loop-simplifycfg,licm<no-allowspeculation>,loop-rotate<header-duplication;no-prepare-for-lto;no-check-exit-count>,licm<allowspeculation>,simple-loop-unswitch<nontrivial;trivial>),simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-arithmetic;no-switch-to-lookup;keep-loops;no-hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>,loop(loop-idiom,indvars,extra-simple-loop-unswitch-passes,loop-idiom-vectorize,loop-deletion,loop-unroll-full),sroa<modify-cfg>,vector-combine,mldst-motion<no-split-footer-bb>,gvn<>,sccp,bdce,instcombine<max-iterations=1;no-verify-fixpoint>,jump-threading,correlated-propagation,adce,memcpyopt,dse,move-auto-init,loop-mssa(licm<allowspeculation>),coro-elide,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;switch-to-arithmetic;no-switch-to-lookup;keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,instcombine<max-iterations=1;no-verify-fixpoint>),function-attrs,function(require<should-not-run-function-passes>),coro-split,coro-annotation-elide))" on module "C:/buildbot/as-builder-10/lldb-x-aarch64/llvm-project/libcxx/src/charconv.cpp"
5.	Running pass "instcombine<max-iterations=1;no-verify-fixpoint>" on function "_ZNSt3__136_Floating_to_chars_general_precisionB9nqe230000IdEENS_15to_chars_resultEPcS2_T_i"
Exception Code: 0x80000003
 #0 0x00007ff6b18169f5 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x12969f5)
 #1 0x00007ffe3628bb04 (C:\Windows\System32\ucrtbase.dll+0x7bb04)
 #2 0x00007ffe3628cad1 (C:\Windows\System32\ucrtbase.dll+0x7cad1)
 #3 0x00007ffe3628e4a1 (C:\Windows\System32\ucrtbase.dll+0x7e4a1)
 #4 0x00007ffe3628e6e1 (C:\Windows\System32\ucrtbase.dll+0x7e6e1)
 #5 0x00007ff6b0c151bf (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x6951bf)
 #6 0x00007ff6b0c1306c (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x69306c)
 #7 0x00007ff6b0c133a3 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x6933a3)
 #8 0x00007ff6b15c2901 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x1042901)
 #9 0x00007ff6b15b57fc (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x10357fc)
#10 0x00007ff6b152dd50 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xfadd50)
#11 0x00007ff6b153c47c (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xfbc47c)
#12 0x00007ff6b14961e4 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xf161e4)
#13 0x00007ff6b14858b7 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xf058b7)
#14 0x00007ff6b1495599 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xf15599)
#15 0x00007ff6b1c90182 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x1710182)
#16 0x00007ff6b135b703 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xddb703)
#17 0x00007ff6b1c90122 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x1710122)
#18 0x00007ff6b48e6b97 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x4366b97)
#19 0x00007ff6b27cd7f6 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x224d7f6)
#20 0x00007ff6b48e62ad (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x43662ad)
#21 0x00007ff6b27cd796 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x224d796)
#22 0x00007ff6b48e70a6 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x43670a6)
#23 0x00007ff6b28760d6 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x22f60d6)
#24 0x00007ff6b48e8c3f (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x4368c3f)
#25 0x00007ff6b27cd452 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0x224d452)
#26 0x00007ff6b135b973 (C:\buildbot\as-builder-10\lldb-x-aarch64\build\bin\clang++.exe+0xddb973)

```

</details>

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