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

Mon Jun 8 08:21:36 PDT 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-win-x-aarch64` running on `as-builder-2` while building `llvm` at step 8 "build-default".

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

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

```
Step 8 (build-default) failure: cmake (failure)
...
29.107 [452/66/2004]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_procmaps_solaris.cpp.o
29.114 [451/66/2005]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_platform_limits_linux.cpp.o
29.122 [450/66/2006]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_stoptheworld_fuchsia.cpp.o
29.129 [449/66/2007]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_solaris.cpp.o
29.137 [448/66/2008]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_stoptheworld_mac.cpp.o
29.144 [447/66/2009]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonSymbolizer.aarch64.dir/sanitizer_stackdepot.cpp.o
29.152 [446/66/2010]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoTermination.aarch64.dir/sanitizer_platform_limits_posix.cpp.o
29.159 [445/66/2011]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonNoHooks.aarch64.dir/sanitizer_stoptheworld_win.cpp.o
29.166 [444/66/2012]Building CXX object compiler-rt/lib/sanitizer_common/CMakeFiles/RTSanitizerCommonLibc.aarch64.dir/sanitizer_posix_libcdep.cpp.o
29.192 [443/66/2013]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-2\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-2/x-aarch64/llvm-project/libcxx/src -IC:/buildbot/as-builder-2/x-aarch64/build/include/aarch64-unknown-linux-gnu/c++/v1 -IC:/buildbot/as-builder-2/x-aarch64/build/include/c++/v1 -IC:/buildbot/as-builder-2/x-aarch64/llvm-project/libcxxabi/include -IC:/buildbot/as-builder-2/x-aarch64/llvm-project/cmake/Modules/../../libc -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-2/x-aarch64/build/include/c++/v1=C:/buildbot/as-builder-2/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-2/x-aarch64/llvm-project/libcxx/src/charconv.cpp
Assertion failed: Ptr == V, file C:\buildbot\as-builder-2\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-2\\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-2/x-aarch64/llvm-project/libcxx/src -IC:/buildbot/as-builder-2/x-aarch64/build/include/aarch64-unknown-linux-gnu/c++/v1 -IC:/buildbot/as-builder-2/x-aarch64/build/include/c++/v1 -IC:/buildbot/as-builder-2/x-aarch64/llvm-project/libcxxabi/include -IC:/buildbot/as-builder-2/x-aarch64/llvm-project/cmake/Modules/../../libc -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-2/x-aarch64/build/include/c++/v1=C:/buildbot/as-builder-2/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-2/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-2/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-2/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 0x00007ff62df05ff5 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x1295ff5)
 #1 0x00007ffb1fe9d88d (C:\WINDOWS\System32\ucrtbase.dll+0x6d88d)
 #2 0x00007ffb1fe9e761 (C:\WINDOWS\System32\ucrtbase.dll+0x6e761)
 #3 0x00007ffb1fea00c1 (C:\WINDOWS\System32\ucrtbase.dll+0x700c1)
 #4 0x00007ffb1fea03f1 (C:\WINDOWS\System32\ucrtbase.dll+0x703f1)
 #5 0x00007ff62d304c8f (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x694c8f)
 #6 0x00007ff62d302b3c (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x692b3c)
 #7 0x00007ff62d302e73 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x692e73)
 #8 0x00007ff62dcb2621 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x1042621)
 #9 0x00007ff62dca551c (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x103551c)
#10 0x00007ff62dc1da50 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xfada50)
#11 0x00007ff62dc2c17c (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xfbc17c)
#12 0x00007ff62db85f54 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xf15f54)
#13 0x00007ff62db7563b (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xf0563b)
#14 0x00007ff62db85309 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xf15309)
#15 0x00007ff62e37f9d2 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x170f9d2)
#16 0x00007ff62da4b543 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xddb543)
#17 0x00007ff62e37f972 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x170f972)
#18 0x00007ff630fd9d27 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x4369d27)
#19 0x00007ff62eebc6d6 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x224c6d6)
#20 0x00007ff630fd943d (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x436943d)
#21 0x00007ff62eebc676 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x224c676)
#22 0x00007ff630fda236 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x436a236)
#23 0x00007ff62ef64e86 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x22f4e86)
#24 0x00007ff630fdbdcf (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x436bdcf)
#25 0x00007ff62eebc332 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0x224c332)
#26 0x00007ff62da4b7b3 (C:\buildbot\as-builder-2\x-aarch64\build\bin\clang++.exe+0xddb7b3)

```

</details>

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