We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 47c1601 commit e9c7010Copy full SHA for e9c7010
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
@@ -1230,10 +1230,7 @@ ProgramStateRef StreamChecker::ensureGetdelimBufferAndSizeCorrect(
1230
if (!LinePtrSVal || !NSVal)
1231
return nullptr;
1232
1233
- assert(LinePtrPtrExpr &&
1234
- "Expected an argument with a pointer to a pointer to the buffer.");
1235
- assert(SizePtrExpr &&
1236
- "Expected an argument with a pointer to the buffer size.");
+ assert(LinePtrPtrExpr && SizePtrExpr);
1237
1238
// If the line pointer is null, and n is > 0, there is UB.
1239
const auto [LinePtrNotNull, LinePtrNull] = State->assume(*LinePtrSVal);
0 commit comments