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

[via cfe-commits]

NagyDonat wrote:

Personally I like the habit that these options are consistently named "Pedantic" because it highlights that they all provide "true, but not helpful" results. When the users see that an option is named "Pedantic", many of them will be able to immediately conclude that they are not interested; while if the option was named "AssumeSuccessfulWrites", they would need to understand its exact meaning (so they would probably read the full doc, not just the name) and its relevance in their project to make a decision.

I agree that "AssumeSuccessfulWrites" is more informative in a certain sense, but it still doesn't convey enough information for a full understanding; and "Pedantic" provides a different kind of information that (IMO) is more practical overall.

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