[clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)

[Balázs Kéri via cfe-commits]

================
@@ -1179,6 +1195,113 @@ void StreamChecker::evalUngetc(const FnDescription *Desc, const CallEvent &Call,
   C.addTransition(StateFailed);
 }
 
+ProgramStateRef StreamChecker::ensureGetdelimBufferAndSizeCorrect(
+    SVal LinePtrPtrSVal, SVal SizePtrSVal, const Expr *LinePtrPtrExpr,
+    const Expr *SizePtrExpr, CheckerContext &C, ProgramStateRef State) const {
+  static constexpr char SizeGreaterThanBufferSize[] =
----------------
balazske wrote:

The `static` keyword is not needed here?

https://github.com/llvm/llvm-project/pull/83027