[gcc r14-4005] analyzer: fix missing return in compatible_epath_p

[David Malcolm <dmalcolm@gcc.gnu.org>]

https://gcc.gnu.org/g:59f6185b59f71175bb2bf7f380a2a6ec706ee8c9

commit r14-4005-g59f6185b59f71175bb2bf7f380a2a6ec706ee8c9
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Thu Sep 14 16:28:45 2023 -0400

    analyzer: fix missing return in compatible_epath_p
    
    gcc/analyzer/ChangeLog:
            * diagnostic-manager.cc (compatible_epath_p): Fix missing return.
    
    Signed-off-by: David Malcolm <dmalcolm@redhat.com>

Diff:
---
 gcc/analyzer/diagnostic-manager.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc
index a010f4ba1e1..b3da2a982f2 100644
--- a/gcc/analyzer/diagnostic-manager.cc
+++ b/gcc/analyzer/diagnostic-manager.cc
@@ -966,6 +966,14 @@ compatible_epath_p (const exploded_path *lhs_path,
       /* A superedge was found for only one of the two paths.  */
       return false;
     }
+
+  /* A superedge was found for only one of the two paths.  */
+  if (lhs_eedge_idx >= 0 || rhs_eedge_idx >= 0)
+    return false;
+
+  /* Both paths were drained up entirely.
+     No discriminant was found.  */
+  return true;
 }