bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

static analysis assumption (was: Re: [PATCH] vasnprintf: silence some cl


From: Bruce Korb
Subject: static analysis assumption (was: Re: [PATCH] vasnprintf: silence some clang false positives)
Date: Tue, 15 Feb 2011 13:46:04 -0800
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.16) Gecko/20101125 SUSE/3.0.11 Thunderbird/3.0.11

On 02/15/11 12:38, Paul Eggert wrote:
>>>  invariant (X)?

gl_assume(X) seems like a good choice to me.
"invariant" doesn't imply that "X" is either true or false
and, as Paul said, the expression need not be constructed of
invariant components.  Yes, the result should be invariant
(invariant-true or invariant-false?), but it is fuzzy.
"gl_assume()" seems pretty clear to me.....



reply via email to

[Prev in Thread] Current Thread [Next in Thread]