[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 3/3] verify: remove verify_true

From: Paul Eggert
Subject: Re: [PATCH 3/3] verify: remove verify_true
Date: Tue, 18 Jun 2019 17:52:35 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0

On 6/18/19 3:26 PM, Bruno Haible wrote:
Do you see other options than
   (a) reintroduce verify_true and check that it's usable in enum.
   (b) relax the check and only check that it's usable as a static initializer.

Also (c) relax the check so that the buggy compiler passes but continue to check that verify_expr is usable in an enum. Sort of a hack, but there it is - it's arguably good enough since the (now-removed) verify_true macro can also make that buggy compiler crash if we complicate the test a bit. I installed the attached, which worked for me on gcc111.

          Version: 12.01.0000.0000
Quite possibly that compiler bug is fixed in xlc by now; IBM says the current xlc 12.1 release is dated January 2019. I don't know who's maintaining gcc111 though.


Attachment: 0001-verify-tests-work-around-xlc-bug.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]