r212436 - StaticAnalyzer: Silence a warning

David Blaikie dblaikie at gmail.com
Mon Jul 7 14:13:48 PDT 2014


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



More information about the cfe-commits mailing list