[Swan-dev] Fwd: New Defects reported by Coverity Scan for antonyantony/libreswan
andrew.cagney at gmail.com
Sat Jun 9 15:46:36 UTC 2018
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.
> 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
More information about the Swan-dev