[llvm-bugs] [Bug 33133] New: UBSan misses check for "negative_value << 0"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=33133

            Bug ID: 33133
           Summary: UBSan misses check for "negative_value << 0"
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: libclang
          Assignee: unassignedclangbugs at nondot.org
          Reporter: babokin at gmail.com
                CC: klimek at google.com, llvm-bugs at lists.llvm.org

> cat f.cpp
int i = -1;
int z = 0;

int main() {
  return (i << 0) + (i << z);
}

> clang++ -fsanitize=undefined f.cpp

> ./a.out

No error is issued.

-- 
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/20170522/1c338bd1/attachment.html>