[clang] [clang][analyzer] Add "pedantic" mode to StreamChecker. (PR #87322)

via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 2 01:42:29 PDT 2024


================
@@ -1094,6 +1104,9 @@ void StreamChecker::evalFprintf(const FnDescription *Desc,
 
   // Add transition for the failed state. The resulting value of the file
   // position indicator for the stream is indeterminate.
+  if (!PedanticMode)
+    return;
+
----------------
NagyDonat wrote:

```suggestion
  if (!PedanticMode)
    return;

  // Add transition for the failed state. The resulting value of the file
  // position indicator for the stream is indeterminate.
```

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


More information about the cfe-commits mailing list