[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-bugs-dist
Subject:    [valgrind] [Bug 325222] eight bad if statements ?
From:       Florian Krohm <florian () eich-krohm ! de>
Date:       2013-09-30 16:58:49
Message-ID: bug-325222-17878-J8OkKZuuIP () http ! bugs ! kde ! org/
[Download RAW message or body]

https://bugs.kde.org/show_bug.cgi?id=325222

Florian Krohm <florian@eich-krohm.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #3 from Florian Krohm <florian@eich-krohm.de> ---
(In reply to comment #2)
> On today's development snapshot from svn, I have
> 
> [valgrind/VEX/priv/host_mips_defs.c:2601]: (warning) Logical disjunction
> always evaluates to true: i
> mm >= -2147483648 || imm < 2147483648.

No.  The condition in question here is

if (imm >= 0xFFFFFFFFFFFF8000ULL || imm < 0x8000) 

and imm is a 64-bit wide unsigned entity. So it cannot assume a negative value.
Perhaps your tool missed the ULL suffix in the hexadecimal constant?

The other 3 reported conditions are of the same pattern just with different hex
constants.

I'm closing this as invalid.

-- 
You are receiving this mail because:
You are watching all bug changes.
[prev in list] [next in list] [prev in thread] [next in thread]