danielmarjamaki added a comment. In https://reviews.llvm.org/D25326#564291, @danielmarjamaki wrote:
> 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 > Sorry... I think I see. L.getSrc() will give me the cfg block I am interested in. 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