False division by zero in ternary operator

[Martin Poupě]

Have code:

void f()
{
 unsigned x,y,s = 0;
        for(x = 0; x < 256;x++)
        {
            for(y = 0; y < 256; y++)
            {
                unsigned z = (y <= x) ? 255 : (x * 255) / y;
                s += z;
            }
        }
        printf("%u\n",s);
}

Both CPPCheck 2.13 and online demo report division by zero:

error: Division by zero. [zerodiv]
unsigned z = (y <= x) ? 255 : (x * 255) / y;
Assignment 'y=0', assigned value is 0
            for(y = 0; y < 256; y++)

But the code will never divide by zero because of that condition (y <= x)

[CHR]

Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/12385