[clang] [clang][analyzer] Fix StreamChecker `ftell` and `fgetpos` at indeterminate file position. (PR #84191)

Ben Shi via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 6 17:23:30 PST 2024


================
@@ -880,6 +883,24 @@ void StreamChecker::preReadWrite(const FnDescription *Desc,
   }
 }
 
+void StreamChecker::preWrite(const FnDescription *Desc, const CallEvent &Call,
----------------
benshi001 wrote:

Why  we need a separated `preWrite` ? The original `preReadWrite` also works.

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


More information about the cfe-commits mailing list