diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-09-14 16:28:45 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-09-14 16:28:45 -0400 |
| commit | 59f6185b59f71175bb2bf7f380a2a6ec706ee8c9 (patch) | |
| tree | f8707737a5a95d8ede11a4f9dfe764b0f4a7a9aa | |
| parent | 8878f7ab1cb9ed61a7039aab21d527435570ec2a (diff) | |
| download | gcc-59f6185b59f71175bb2bf7f380a2a6ec706ee8c9.zip gcc-59f6185b59f71175bb2bf7f380a2a6ec706ee8c9.tar.gz gcc-59f6185b59f71175bb2bf7f380a2a6ec706ee8c9.tar.bz2 | |
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>
| -rw-r--r-- | gcc/analyzer/diagnostic-manager.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc index a010f4b..b3da2a9 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; } |