TailRecursionElimination does not cleanup a stale basicblock

Arnaud A. de Grandmaison arnaud.degrandmaison at arm.com
Wed Nov 12 07:57:43 PST 2014


When the BasicBlock containing the return instrution has a PHI with 2

incoming values, FoldReturnIntoUncondBranch will remove the no longer

used incoming value and remove the no longer needed phi as well. This

leaves us with a BB that no longer has a PHI, but the subsequent call

to FoldReturnIntoUncondBranch from FoldReturnAndProcessPred will not

remove the return instruction (which still uses the result of the call

instruction). This prevents EliminateRecursiveTailCall to remove

the value, as it is still being used in a basicblock which has no

predecessors.

 

The basicblock can not be erased on the spot, because its iterator is

still being used in runTRE.

 

This issue was exposed when removing the threshold on size for lifetime

marker insertion for named temporaries in clang. The testcase is a much

reduced version of peelOffOuterExpr(const Expr*, const ExplodedNode *)

from clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp.

 

Cheers,

--

Arnaud A. de Grandmaison

 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141112/773d28f1/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-tail-recursion-elimination.patch
Type: application/octet-stream
Size: 5486 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141112/773d28f1/attachment.obj>


More information about the llvm-commits mailing list