[clang] [clang][frontend] Support applying the annotate attribute to statements (PR #111841)

[Erich Keane via cfe-commits]

================
@@ -242,6 +242,24 @@ static Attr *handleNoConvergentAttr(Sema &S, Stmt *St, const ParsedAttr &A,
   return ::new (S.Context) NoConvergentAttr(S.Context, A);
 }
 
+static Attr *handleAnnotateAttr(Sema &S, Stmt *St, const ParsedAttr &A,
----------------
erichkeane wrote:

This is basically identical to what we do for non-statements, right?  We should probably extract this to a 'Check' function that SemaDeclAttr and SemaStmtAttr boht can use.

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