Re: Question for coverage report

From: Álvaro Herrera <alvherre(at)kurilemu(dot)de>
To: Jacob Champion <jacob(dot)champion(at)enterprisedb(dot)com>
Cc: "Hayato Kuroda (Fujitsu)" <kuroda(dot)hayato(at)fujitsu(dot)com>, Steven Niu <niushiji(at)gmail(dot)com>, "pgsql-hackers(at)lists(dot)postgresql(dot)org" <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject: Re: Question for coverage report
Date: 2025-10-17 17:46:26
Message-ID: 202510171743.yihu2etsyzek@alvherre.pgsql
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On 2025-Oct-17, Jacob Champion wrote:

> On Fri, Oct 17, 2025 at 3:55 AM Hayato Kuroda (Fujitsu)
> <kuroda(dot)hayato(at)fujitsu(dot)com> wrote:
> > Oh, I didn't notice. Yeah it was also strange. Is there a
> > possibility that complier optimization did prefetch and it was also
> > counted?
>
> FWIW, I'm used to having to set -O0 for the best coverage behavior.
> -Og _usually_ works fine, but it occasionally results in nonsensical
> reports for me.

Hmm, these reports are supposed to have been generated with -O0. This
is the configure line:

./configure --cache-file=/home/coverage/pgsrc/configure.cache --enable-depend --enable-coverage --enable-tap-tests --enable-nls --with-python --with-perl --with-tcl --with-openssl --with-libxml --with-ldap --with-pam --with-llvm --with-lz4 --enable-injection-points CFLAGS=-O0 'CPPFLAGS=-DCOPY_PARSE_PLAN_TREES -DWRITE_READ_PARSE_PLAN_TREES -DRAW_EXPRESSION_COVERAGE_TEST' LLVM_CONFIG=/usr/bin/llvm-config-19 CLANG=clang-19 >> $LOG 2>&1

Is this somehow not effective?

--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/
"La gente vulgar sólo piensa en pasar el tiempo;
el que tiene talento, en aprovecharlo"

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Daniele Varrazzo 2025-10-17 18:01:52 Re: Getting the SQLSTATE after a failed connection
Previous Message Masahiko Sawada 2025-10-17 17:38:45 Re: POC: enable logical decoding when wal_level = 'replica' without a server restart