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

Mon Jun 8 07:13:57 PDT 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-ubuntu-x-aarch64-pauthtest` running on `as-builder-11` while building `llvm` at step 7 "build-default".

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

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

```
Step 7 (build-default) failure: cmake (failure)
...
2.408 [7/58/2127] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/condition_variable.cpp.o
2.436 [7/57/2128] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/random.cpp.o
2.442 [7/56/2129] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/filesystem/filesystem_error.cpp.o
2.452 [7/55/2130] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/future.cpp.o
2.458 [7/54/2131] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/memory.cpp.o
2.470 [7/53/2132] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/fstream.cpp.o
2.488 [7/52/2133] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/memory.cpp.o
2.536 [7/51/2134] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/random.cpp.o
2.560 [7/50/2135] Building CXX object libcxx/src/CMakeFiles/cxx_static.dir/future.cpp.o
2.588 [7/49/2136] Building CXX object libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o
FAILED: libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o 
/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang++ --target=aarch64-linux-pauthtest -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 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxx/src -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/aarch64-unknown-linux-pauthtest/c++/v1 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/c++/v1 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxxabi/include -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/cmake/Modules/../../libc -march=armv8l+pauth -fdebug-default-version=4 -gdwarf-4 -Xclang -fptrauth-elf-got -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 -fPIC -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=/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/c++/v1=/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o -MF libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o -c /home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxx/src/charconv.cpp
clang++: /home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/llvm/lib/Analysis/ValueTracking.cpp:1093: void llvm::computeKnownBitsFromContext(const Value*, KnownBits&, const SimplifyQuery&, unsigned int): Assertion `Ptr == V' failed.
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: /home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang++ --target=aarch64-linux-pauthtest -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 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxx/src -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/aarch64-unknown-linux-pauthtest/c++/v1 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/c++/v1 -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxxabi/include -I/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/cmake/Modules/../../libc -march=armv8l+pauth -fdebug-default-version=4 -gdwarf-4 -Xclang -fptrauth-elf-got -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 -fPIC -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=/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/include/c++/v1=/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/llvm-project/libcxx/include -MD -MT libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o -MF libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o.d -o libcxx/src/CMakeFiles/cxx_shared.dir/charconv.cpp.o -c /home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/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 "/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/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 "/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/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"
 #0 0x000058bb967a4f62 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x2307f62)
 #1 0x000058bb967a1b8c llvm::sys::RunSignalHandlers() (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x2304b8c)
 #2 0x000058bb967a261d llvm::sys::CleanupOnSignal(unsigned long) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x230561d)
 #3 0x000058bb966d7fe8 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #4 0x00007545bb845330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
 #5 0x00007545bb89eb2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
 #6 0x00007545bb84527e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
 #7 0x00007545bb8288ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
 #8 0x00007545bb82881b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
 #9 0x00007545bb83b517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
#10 0x000058bb958bab1c llvm::computeKnownBitsFromContext(llvm::Value const*, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x141db1c)
#11 0x000058bb958c6f1e computeKnownBits(llvm::Value const*, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) ValueTracking.cpp:0:0
#12 0x000058bb958c727b llvm::computeKnownBits(llvm::Value const*, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x142a27b)
#13 0x000058bb963e0c41 llvm::InstCombinerImpl::SimplifyMultipleUseDemandedBits(llvm::Instruction*, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1f43c41)
#14 0x000058bb963ef65c llvm::InstCombinerImpl::SimplifyDemandedBits(llvm::Instruction*, unsigned int, llvm::APInt const&, llvm::KnownBits&, llvm::SimplifyQuery const&, unsigned int) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1f5265c)
#15 0x000058bb9637f755 llvm::InstCombinerImpl::foldICmpUsingKnownBits(llvm::ICmpInst&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1ee2755)
#16 0x000058bb96381646 llvm::InstCombinerImpl::visitICmpInst(llvm::ICmpInst&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1ee4646)
#17 0x000058bb962c1fce llvm::InstCombinerImpl::run() (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1e24fce)
#18 0x000058bb962c32b2 combineInstructionsOverFunction(llvm::Function&, llvm::InstructionWorklist&, llvm::AAResults*, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::BranchProbabilityInfo*, llvm::ProfileSummaryInfo*, llvm::InstCombineOptions const&) InstructionCombining.cpp:0:0
#19 0x000058bb962c42a6 llvm::InstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1e272a6)
#20 0x000058bb96bb5f25 llvm::detail::PassModel<llvm::Function, llvm::InstCombinePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x2718f25)
#21 0x000058bb96208f57 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x1d6bf57)
#22 0x000058bb96bb5d15 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x2718d15)
#23 0x000058bb9add210a llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x693510a)
#24 0x000058bb97a3ec75 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::CGSCCToFunctionPassAdaptor, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x35a1c75)
#25 0x000058bb9adcb616 llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x692e616)
#26 0x000058bb97a3ebd5 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x35a1bd5)
#27 0x000058bb9adce93b llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/home/buildbot/worker/as-builder-11/x-aarch64-pauthtest/build/./bin/clang+++0x693193b)

```

</details>

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