[clang] [clang][analyzer] Model function addresses in constant initializers (PR #217608)

[Balázs Benics via cfe-commits]

================
@@ -0,0 +1,80 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
+// RUN:   -analyze-function=test_function_pointer_forms -verify=forms %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
+// RUN:   -analyze-function=test_mutable_pointer -verify=mutable %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
+// RUN:   -analyze-function=test_no_false_positive -verify=fp %s
----------------
steakhal wrote:

I'd prefer not fixing the RUN lines for specific functions. It's not how usually they are written.
Test authors would think that extending the file with more tests would also excercise those added tests.
Please drop the `-analyze-function` parts.

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