danielmarjamaki added a comment. In https://reviews.llvm.org/D25326#564283, @NoQ wrote:
> In https://reviews.llvm.org/D25326#564239, @danielmarjamaki wrote: > > > ok. As far as I see it's not trivial to know which ReturnStmt there was > > when CallExitBegin is created. > > > We're in `HandleBlockEdge`, just pass down the statement from CFG here? I don't directly see how you mean. Code is: void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { const CFGBlock *Blk = L.getDst(); The Blk->dump() says: [B0 (EXIT)] Preds (2): B1 B2 Repository: rL LLVM https://reviews.llvm.org/D25326 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
