It just silences a warning (thanks!). It'd be testable if we added CFG construction support for SEH stuff.
On Mon, Jul 7, 2014 at 2:13 PM, David Blaikie <[email protected]> wrote: > Is this testable? > > On Sun, Jul 6, 2014 at 11:20 PM, David Majnemer > <[email protected]> wrote: > > Author: majnemer > > Date: Mon Jul 7 01:20:50 2014 > > New Revision: 212436 > > > > URL: http://llvm.org/viewvc/llvm-project?rev=212436&view=rev > > Log: > > StaticAnalyzer: Silence a warning > > > > ExprEngine wasn't ready for SEHLeaveStmtClass. Handle it like all the > > other SEH constructs by aborting. > > > > Modified: > > cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp > > > > Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp > > URL: > http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=212436&r1=212435&r2=212436&view=diff > > > ============================================================================== > > --- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original) > > +++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Mon Jul 7 01:20:50 > 2014 > > @@ -699,6 +699,7 @@ void ExprEngine::Visit(const Stmt *S, Ex > > case Stmt::FunctionParmPackExprClass: > > case Stmt::SEHTryStmtClass: > > case Stmt::SEHExceptStmtClass: > > + case Stmt::SEHLeaveStmtClass: > > case Stmt::LambdaExprClass: > > case Stmt::SEHFinallyStmtClass: { > > const ExplodedNode *node = Bldr.generateSink(S, Pred, > Pred->getState()); > > > > > > _______________________________________________ > > cfe-commits mailing list > > [email protected] > > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits > _______________________________________________ > cfe-commits mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
