r212436 - StaticAnalyzer: Silence a warning

[Nico Weber]

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 <dblaikie at gmail.com> wrote:

> Is this testable?
>
> On Sun, Jul 6, 2014 at 11:20 PM, David Majnemer
> <david.majnemer at gmail.com> 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
> > cfe-commits at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140707/96810578/attachment.html>