Thank you very much, Paul! One bit of the commentary is still misleading, though, I think. You wrote for the affirm macro that if NDEBUG is defined that the behavior is undefined if E has side effects. That's not true as long as E does not evaluate to false.
Marc Am So., 24. Mai 2020 um 04:14 Uhr schrieb Paul Eggert <egg...@cs.ucla.edu>: > > On 5/23/20 3:06 PM, Bruno Haible wrote: > > How about this instead? > > Thanks, good point about the danger. Also, I forgot to include verify.h. > > I tightened up the commentary, folded in Marc's suggestion, and installed the > attached.