[clang] [analyzer] Fix [[clang::suppress]] for template instantiations (PR #168954)

[Ziqing Luo via cfe-commits]

================
@@ -1,4 +1,27 @@
-// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
+
+void clang_analyzer_warnIfReached();
+
+struct Clazz {
+  template <typename T>
+  static void templated_memfn();
+};
+
+// This must come before the 'templated_memfn' is defined!
+static void instantiate() {
+  Clazz::templated_memfn<int>();
+}
+
+template <typename T>
+void Clazz::templated_memfn() {
+  // When we report a bug in a function, we traverse the lexical decl context
+  // of it while looking for suppression attributes to record what source
----------------
ziqingluo-90 wrote:

> having a suppress for a statement would only suppress issues raised within the **source range** of the effective statement (CallExpr).

Aha, this explains it.

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