| Issue |
93949
|
| Summary |
[clang][UBSan] Segfault with -fsanitize=vla-bound -ftrivial-auto-var-init=zero/pattern
|
| Labels |
clang
|
| Assignees |
|
| Reporter |
chestnykh
|
Just compile
int main(int argc, char **argv) {
int x = -1;
int arr[x];
return 0;
}
with
`clang -fsanitize=vla-bound -ftrivial-auto-var-init=zero`
or with
`clang -fsanitize=vla-bound -ftrivial-auto-var-init=pattern`
Run the executable and see that UBSan rt catches segfault:
`UndefinedBehaviorSanitizer:DEADLYSIGNAL`
with
`clang -fsanitize=vla-bound -ftrivial-auto-var-init=uninitialized`
UBSan works fine and the process terminates with zero exit-code.
Observed in clang-17.0.6 and clang-18.1.3
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
