[clang] [analyzer] Implement potential underflow warnings (PR #216077)

[Donát Nagy via cfe-commits]

================
@@ -334,13 +334,15 @@ static BugDescription describeInvalidAccess(bounds::CheckResult Res,
           std::string(Buf)};
 }
 
-static BugDescription describeTaintBug(StringRef RegName, StringRef OffsetName,
-                                       bool AlsoMentionUnderflow) {
+static BugDescription describeTaintBug(bounds::CheckResult Res,
+                                       StringRef RegName,
+                                       StringRef OffsetName) {
----------------
NagyDonat wrote:

Added assertions here and in `describeInvalidAccess` in https://github.com/llvm/llvm-project/pull/216077/changes/997da098f1345132a47476790f841e752cd3f67b

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