[LLVMbugs] [Bug 11820] New: clang CFG analysis misses potentially-evaluated operands in cases involving VLAs

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=11820

             Bug #: 11820
           Summary: clang CFG analysis misses potentially-evaluated
                    operands in cases involving VLAs
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Frontend
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: kremenek at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified


clang's CFG analysis misses potentially-evaluated operands in some cases
involving VLAs.  See test/Sema/vla-2.c in clang for a testcase. 
AnalysisBasedWarnings::IssueWarnings works around this issue by failing out if
it tries to check whether an expression that isn't part of the CFG is
reachable.

r138372 was a step in the wrong direction, but there are other related issues.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.