[clang] nonblocking/nonallocating attributes: 2nd pass caller/callee analysis (PR #99656)

[Erich Keane via cfe-commits]

================
@@ -3912,6 +3912,11 @@ llvm::Error ASTReader::ReadASTBlock(ModuleFile &F,
       FPPragmaOptions.swap(Record);
       break;
 
+    case DECLS_WITH_EFFECTS_TO_VERIFY:
+      for (unsigned I = 0, N = Record.size(); I != N; /*in loop*/)
----------------
erichkeane wrote:

Also, does `ReadDeclID` increment `I`?  That seems really frightning/surprising.

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