[PATCH] d3dx9: Don't check for negative enum value.

Paul Gofman gofmanp at gmail.com
Tue Mar 24 10:06:29 CDT 2020


On 3/24/20 17:39, Matteo Bruni wrote:
> On Tue, Mar 24, 2020 at 3:29 PM Jacek Caban <jacek at codeweavers.com> wrote:
>> On 24.03.2020 14:59, Henri Verbeet wrote:
>>> On Tue, 24 Mar 2020 at 17:45, Matteo Bruni <matteo.mystral at gmail.com> wrote:
>>>> I assume replacing "op < 0" with an explicit "op < SCT_VSFLOAT"
>>>> doesn't avoid the warning. Does replacing the if with an assert do the
>>>> trick, by any chance?
>>>>
>>> It's perhaps a little subtle, but if you compare "op" against
>>> "ARRAY_SIZE(const_tbl)" (which is what you really care about here
>>> anyway, right?) instead of SCT_PSINT, you can drop the check against
>>> 0, regardless of whether the enum ends up being a signed or unsigned
>>> type.
>>
>> Strictly speaking, if enum would be signed the check wouldn't catch some
>> invalid values, but I don't think that's worrying about. If we want it
>> fully strict, we could change argument type from enum to unsigned int.
>>
>>
>> Thanks,
>>
>> Jacek
> I think sizeof() (and thus ARRAY_SIZE()) always returns an unsigned
> integer, op is promoted to unsigned if necessary and the comparison is
> guaranteed to be unsigned.
>
If op will be considered signed, won't it end up in the warning about
signed vs unsigned comparison? Regardless of that, maybe we instead add
a check to state->operation read from effect data in d3dx_parse_state()
and just remove any of such checks at effect runtime?




More information about the wine-devel mailing list