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

[via cfe-commits]

================
@@ -1059,6 +1066,9 @@ void StreamChecker::evalFputx(const FnDescription *Desc, const CallEvent &Call,
 
   // 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