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

[via cfe-commits]

================
@@ -953,6 +953,9 @@ class ASTReader
   /// Sema tracks these to emit deferred diags.
   llvm::SmallSetVector<GlobalDeclID, 4> DeclsToCheckForDeferredDiags;
 
+  /// The IDs of all decls with function effects to be checked.
+  SmallVector<GlobalDeclID, 0> DeclsWithEffectsToVerify;
----------------
Sirraide wrote:

You’re probably right in that we probably do have to serialise these considering that e.g. `DelayedDeleteExprs` above exists, but I’m candidly not sure why. Do you happen to know why this is required?

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