[clang] [Sema][AArch64] Emit error for mismatched VLs on streaming mode transitions (PR #159131)
Sander de Smalen via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 19 09:08:48 PDT 2025
================
@@ -3980,6 +3980,14 @@ def warn_sme_locally_streaming_has_vl_args_returns : Warning<
"%select{returning|passing}0 a VL-dependent argument %select{from|to}0 a locally streaming function is undefined"
" behaviour when the streaming and non-streaming vector lengths are different at runtime">,
InGroup<AArch64SMEAttributes>, DefaultIgnore;
+def warn_sme_streaming_compatible_vl_mismatch : Warning<
+ "%select{returning|passing}0 a VL-dependent argument %select{from|to}0 a %select{non-streaming|streaming}1"
+ " function is undefined behaviour when the streaming-compatible caller is in %select{streaming|non-streaming}1"
----------------
sdesmalen-arm wrote:
nit:
```suggestion
" function is undefined behaviour when the streaming-compatible caller is %select{|not}1 in streaming mode"
```
https://github.com/llvm/llvm-project/pull/159131
More information about the cfe-commits
mailing list