Eric Sesterhenn / Snakebyte wrote:
> * Avi Kivity ([EMAIL PROTECTED]) wrote:
>
>> Eric Sesterhenn / Snakebyte wrote:
>>
>>> i was testing the gcc 4.3 against the latest git kernel, and got a
>>> warning in your code (using -Wstrict-overflow=1)
>>>
>>> drivers/kvm/vmx.c: In function 'inject_rmode_irq':
>>> drivers/kvm/vmx.c:1193: warning: assuming signed overflow does not occur
>>> when assuming that (X - c) > X is always false
>>>
>>> The problem is basically that gcc 4.3 handles integer overflows
>>> different, when using -O2 and -Os, the code triggering this is the
>>> following:
>>>
>>> if (sp > ss_limit || sp - 6 > sp) {
>>>
>>> I am not completely sure, but wouldnt a check for
>>> ( sp > ss_limit || sp > 6 ) be enough?
>>>
>>>
>> hmm. sp is declared as u16, which is unsigned. I don't see how gcc can
>> promote it to a signed type, unless I'm misremembering C's promotion rules.
>>
>> Anyway, it could just be coded as
>>
>> if (sp > ss_limit || sp < 6)
>>
>> and achieve the same effect.
>>
>>
>
> Since 4.2 gcc might decide that overflows can never occur, and optimize
> away this check, see http://gcc.gnu.org/gcc-4.2/changes.html
> Lets make sure we still check this.
>
> Signed-off-by: Eric Sesterhenn <[EMAIL PROTECTED]>
>
Applied, thanks.
--
error compiling committee.c: too many arguments to function
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
kvm-devel mailing list
kvm-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/kvm-devel
