[llvm-bugs] [Bug 32162] New: Add UB sanitizer for __builtin_assume a la -fsanitize=unreachable

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Mar 6 19:07:56 PST 2017


            Bug ID: 32162
           Summary: Add UB sanitizer for __builtin_assume a la
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: LLVM Codegen
          Assignee: unassignedclangbugs at nondot.org
          Reporter: jacobsa at google.com
                CC: llvm-bugs at lists.llvm.org

-fsanitize=unreachable allows discovering programmer mistakes in constructs
like the following:

    if (!expr) {

As far as I'm aware, it *doesn't* cover the following construct, which is
functionally equivalent but which I'm told may perform better in optimized


Should there be a sanitizer that covers this?

You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170307/b92b4cb2/attachment-0001.html>

More information about the llvm-bugs mailing list