[LLVMbugs] [Bug 18159] New: More expressions are considered live due to GCF simplification on chained short circuit logical binary operators.

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18159
           Summary: More expressions are considered live due to GCF
                    simplification on chained short circuit logical binary
                    operators.
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: ganna at apple.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The Live Variable analyzes are keeping more expressions alive due to CFG
special handling of the chained short circuit logical operators. So far the
problem is only visible when the logical expressions require cleanups (the
binary operator is wrapped inside ExprWithCleanups.)

The incorrect live variable analyzes are problematic for Pavel's commit
r189090(refactor conditional expression evaluating code), which is a stepping
block for r189746 (temporary destructors).

-- 
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/20131206/3a4b98bb/attachment.html>