https://llvm.org/bugs/show_bug.cgi?id=25284
Bug ID: 25284
Summary: ProgramState::assumeInBound does not handle large
values well
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: kreme...@apple.com
Reporter: daniel.marjam...@evidente.se
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
The ProgramState::assumeInBound() does not handle large values well.
I demonstrate by showing a FP, example code:
void f() {
int a[1LL<<40];
a[13] = 0;
}
Clang output:
1.c:5:11: warning: Access out-of-bound array element (buffer overflow)
a [13]=0;
~~~~~~^
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
