diff --git a/clang/lib/Checker/StreamChecker.cpp b/clang/lib/Checker/StreamChecker.cpp index 37129be2450f..b18ab2908c58 100644 --- a/clang/lib/Checker/StreamChecker.cpp +++ b/clang/lib/Checker/StreamChecker.cpp @@ -373,7 +373,10 @@ const GRState *StreamChecker::CheckDoubleClose(const CallExpr *CE, assert(Sym); const StreamState *SS = state->get(Sym); - assert(SS); + + // If the file stream is not tracked, return. + if (!SS) + return state; // Check: Double close a File Descriptor could cause undefined behaviour. // Conforming to man-pages