[Swan-dev] Fwd: New Defects reported by Coverity Scan for antonyantony/libreswan

[Andrew Cagney]

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 <hugh at mimosa.com> wrote:
>
> | From: Andrew Cagney <andrew.cagney at 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 at lists.libreswan.org
> https://lists.libreswan.org/mailman/listinfo/swan-dev