http://llvm.org/bugs/show_bug.cgi?id=18073
Bug ID: 18073
Summary: Off-by-one in warnings generated for too large
bit-shifts
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
No warning (incorrect):
echo 'int main(){ return 0ULL << 64; }' | clang -O2 --analyze -xc - -o
/dev/null
Warning (correct):
echo 'int main(){ return 0ULL << 65; }' | clang -O2 --analyze -xc - -o
/dev/null
Warning (correct):
echo 'int main(){ return 0ULL << 64; }' | clang -O2 -xc - -o /dev/null
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
