NoQ added a comment. In https://reviews.llvm.org/D16403#803518, @m.ostapenko wrote:
> There is one more thing I'd like to clarify: since e.g. BreakStmt can > terminate multiple scopes, do I need to create ScopeEnd marks for all of them > to make analyzer's work easier? Because right now only one "cumulative" block > is generated and I'm not sure that it's acceptable for analyzer. The analyzer intends to maintain a stack of scopes. When the scope is entered during symbolic execution, it gets put on top of the stack, and when it is exited it is taken off the top of the stack. It's probably not important if we have one mark or multiple mark, but it's important to know what scopes, in what order, are getting entered or exited. Repository: rL LLVM https://reviews.llvm.org/D16403 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits