[LLVMbugs] [Bug 12081] New: ExplodedNodes still needed by clients should not be reclaimed

[bugzilla-daemon at llvm.org]

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

             Bug #: 12081
           Summary: ExplodedNodes still needed by clients should not be
                    reclaimed
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: tom.care at uqconnect.edu.au
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


We need a generalised way to keep ExplodedNodes alive for clients that require
them (e.g. IdempotentOperationChecker.) Currently the ExplodedNodes can be
reclaimed before a client gets to use them. This was revealed by the aborted
block list in CoreEngine, where the ExplodedNodes were invalid by the time they
were used in  VisitEndAnalysis. Solving this in a generalised way will allow
for more aggressive trimming of nodes without breaking clients that need a
longer lifetime for particular nodes.

On the mailing list, Ted suggests that a reference count inside the node should
be implemented outside of the node or done efficiently within existing fields
of the node. A side table to keep track of the node could be used if the count
exceeds some constant. Also of note is that the common case is that a node will
have a reference count of 0 or 1.

-- 
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.