On Mon, 2023-09-11 at 10:23 +0200, Andreas Schwab via Gcc-patches wrote: > ../../gcc/analyzer/diagnostic-manager.cc: In function 'bool > ana::compatible_epath_p(const exploded_path*, const exploded_path*)': > ../../gcc/analyzer/diagnostic-manager.cc:969:1: warning: control reaches end > of non-void function [-Wreturn-type]
Sorry about this; should be fixed by the following patch. Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Pushed to trunk as r14-4005-g59f6185b59f711. gcc/analyzer/ChangeLog: * diagnostic-manager.cc (compatible_epath_p): Fix missing return. --- 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; } -- 2.26.3