From b3aa3288a958a75744df256d70e7f8e90ccab724 Mon Sep 17 00:00:00 2001 From: Martin Sebor Date: Tue, 31 Aug 2021 11:16:37 -0600 Subject: [PATCH] Avoid valid Coverity warning for comparing array to zero. * gimple-ssa-warn-access.cc (maybe_warn_alloc_args_overflow): Test pointer element for equality to zero, not that of the cotaining array. --- gcc/gimple-ssa-warn-access.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/gimple-ssa-warn-access.cc b/gcc/gimple-ssa-warn-access.cc index 5df97a6473a..5a359587ed3 100644 --- a/gcc/gimple-ssa-warn-access.cc +++ b/gcc/gimple-ssa-warn-access.cc @@ -2433,7 +2433,7 @@ maybe_warn_alloc_args_overflow (gimple *stmt, const tree args[2], } } - if (!argrange[0]) + if (!argrange[0][0]) return; /* For a two-argument alloc_size, validate the product of the two -- 2.11.4.GIT