[llvm-bugs] [Bug 25284] New: ProgramState::assumeInBound does not handle large values well

[via llvm-bugs]

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: kremenek at apple.com
          Reporter: daniel.marjamaki at evidente.se
                CC: llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20151022/889065f0/attachment-0001.html>