[clang] [SSAF][UnsafeBufferAnalysis] Filter out type-constrained pointers from reachable unsafe pointers (PR #209354)

[Balázs Benics via cfe-commits]

================
@@ -103,23 +103,19 @@ AnalysisDriver::toposort(llvm::ArrayRef<AnalysisName> Roots) {
 llvm::Error AnalysisDriver::executeSummaryAnalysis(SummaryAnalysisBase &Summary,
                                                    WPASuite &Suite) const {
   SummaryName SN = Summary.getSummaryName();
-  auto DataIt = LU->Data.find(SN);
-  if (DataIt == LU->Data.end()) {
-    return ErrorBuilder::create(std::errc::invalid_argument,
-                                "no data for analysis '{0}' in LUSummary",
-                                Summary.getAnalysisName())
-        .build();
-  }
 
   if (auto Err = Summary.initialize()) {
     return Err;
   }
 
-  for (auto &[Id, EntitySummary] : DataIt->second) {
-    if (auto Err = Summary.add(Id, *EntitySummary)) {
-      return Err;
+  auto DataIt = LU->Data.find(SN);
+
+  if (DataIt != LU->Data.end())
+    for (auto &[Id, EntitySummary] : DataIt->second) {
+      if (auto Err = Summary.add(Id, *EntitySummary)) {
+        return Err;
+      }
     }
----------------
steakhal wrote:

Ah, nvm. I just saw the change for the `empty-pairs.json` and `clang/test/Analysis/Scalable/ssaf-analyzer/analyzer.test`.
This signals to me that this should be split from this PR.

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