From: "Alex Bennée" <alex.bennee@linaro.org>
To: Markus Armbruster <armbru@redhat.com>
Cc: "Thomas Huth" <thuth@redhat.com>,
"Philippe Mathieu-Daudé" <philmd@redhat.com>,
qemu-devel@nongnu.org,
"Wainer dos Santos Moschetta" <wainersm@redhat.com>
Subject: Re: CI with --enable-debug?
Date: Tue, 02 Mar 2021 09:17:16 +0000 [thread overview]
Message-ID: <877dmpkj5s.fsf@linaro.org> (raw)
In-Reply-To: <877dmrge9c.fsf@dusky.pond.sub.org>
Markus Armbruster <armbru@redhat.com> writes:
> Today I debugged why Paolo couldn't reproduce an assertion failure I
> found in review. Turns out compiling with optimization masks it for
> both of us.
>
> This made me wonder whether our CI tests with and without optimization.
> I quick grep finds --enable-debug in .travis.yml, but not in .gitlab*.
> Is this a gap?
Yes - certainly for check-tcg tests it's worth having --enable-debug
because it also enables --enable-tcg-debug which turns on a bunch of
additional sanity checking in the TCG code.
--
Alex Bennée
prev parent reply other threads:[~2021-03-02 9:19 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-01 14:06 CI with --enable-debug? Markus Armbruster
2021-03-02 5:14 ` Thomas Huth
2021-03-02 6:44 ` Markus Armbruster
2021-03-02 9:17 ` Alex Bennée [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=877dmpkj5s.fsf@linaro.org \
--to=alex.bennee@linaro.org \
--cc=armbru@redhat.com \
--cc=philmd@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=thuth@redhat.com \
--cc=wainersm@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.