https://bugs.llvm.org/show_bug.cgi?id=44979
Bug ID: 44979
Summary: __builtin_assume(false) not caught by UBSan
Product: compiler-rt
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: ubsan
Assignee: unassignedb...@nondot.org
Reporter: da...@doublewise.net
CC: llvm-bugs@lists.llvm.org
I would expect UBSan to report an error on the following code:
```
int main() {
__builtin_assume(false);
}
```
but it does not.
Related: https://bugs.llvm.org/show_bug.cgi?id=41313
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
