[clang] [FlowSensitive] [StatusOr] invalidate StatusOr ptr argument of function calls (PR #180281)

[Jan Voung via cfe-commits]

================
@@ -3992,6 +3992,33 @@ TEST_P(UncheckedStatusOrAccessModelTest, PairIteratorRef) {
 )cc");
 }
 
+TEST_P(UncheckedStatusOrAccessModelTest, CallFunctionPointer) {
+  ExpectDiagnosticsFor(
+      R"cc(
+#include "unchecked_statusor_access_test_defs.h"
+
+        void fn(STATUSOR_INT* x);
+        void target() {
+          auto sor = Make<STATUSOR_INT>();
+          CHECK_OK(sor);
+          fn(&sor);
----------------
jvoung wrote:

May be worth documenting? WDYT?

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