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

[Paul Eggert]

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 12.1.0.21 dated January 2019. I don't know 
who's maintaining gcc111 though.

https://www-01.ibm.com/support/docview.wss?uid=swg27038605#121021

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