It might be useful to figure out of llvm supports this feature, or just go with:
+ ((ASSERTION) ? true : (libreswan_pexpect_fail(__func__, \ + PASSERT_BASENAME, __LINE__, \ + #ASSERTION), false)) except that wraps ASSERTION in paren :-( (does libreswan_pexpect.c which contained libreswan_pexpect() need a rename?) On Sat, 9 Jun 2018 at 11:18, D. Hugh Redelmeier <h...@mimosa.com> wrote: > > | From: Andrew Cagney <andrew.cag...@gmail.com> > > | Google flagged this as spam, I agree. > > Heh. > > Static analysis is always imperfect (Halting Problem). > > I've made a change to the definition of pexpect in an attempt to make > the control flow around pexpect clearer to Coverity Scan. It might > even help a compiler produce better code. > > commit bf1b1af577d70a800436b417b94cefba4eb394b2 > _______________________________________________ > Swan-dev mailing list > Swan-dev@lists.libreswan.org > https://lists.libreswan.org/mailman/listinfo/swan-dev _______________________________________________ Swan-dev mailing list Swan-dev@lists.libreswan.org https://lists.libreswan.org/mailman/listinfo/swan-dev
