pg.ddx.io  pgsql-www@postgresql.org mailing list archive  

help / color / mirror / Atom feed
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Magnus Hagander <magnus@hagander.net>
Cc: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
Cc: PostgreSQL WWW <pgsql-www@lists.postgresql.org>
Subject: Re: Bogus reports from coverage.postgresql.org
Date: Sun, 11 Mar 2018 15:03:20 -0400
Message-ID: <1594.1520795000@sss.pgh.pa.us> (raw)
In-Reply-To: <31446.1520791925@sss.pgh.pa.us>
References: <30022.1520642188@sss.pgh.pa.us>
	<d0eec0fd-bf3b-55da-f5de-4fa1c00ce400@2ndquadrant.com>
	<CABUevEyydszbZJPF6iyjU45C+Kx4YSCa+KDZJkXNdjiGbE0Ojg@mail.gmail.com>
	<30195.1520790475@sss.pgh.pa.us>
	<30669.1520791101@sss.pgh.pa.us>
	<CABUevEx5Q0YEPrsdUL75BB0z+Ns3m7eX=x3oRwttjHRJ0HeQRw@mail.gmail.com>
	<31446.1520791925@sss.pgh.pa.us>

I wrote:
> I'll try this on 7.3.1, since I already have that on a handy laptop.
> But if it doesn't reproduce there I think the answer is going to be
> that Debian is shipping an old buggy gcov.

Huh.  7.3.1 shows the bug.  I'll install F28 and see if it's still
there.  Peter, what gcc/gcov version did you test?

			regards, tom lane




view thread (44+ messages)  latest in thread

Message-ID: <1594.1520795000@sss.pgh.pa.us>
Permalink:  ../1594.1520795000@sss.pgh.pa.us/
Also on:    postgresql.org/message-id/1594.1520795000@sss.pgh.pa.us

 · 

reply
Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: pgsql-www@postgresql.org
  Cc: tgl@sss.pgh.pa.us, magnus@hagander.net, peter.eisentraut@2ndquadrant.com, pgsql-www@lists.postgresql.org
  Subject: Re: Bogus reports from coverage.postgresql.org
  In-Reply-To: <1594.1520795000@sss.pgh.pa.us>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox