On 27 February 2018 at 01:12, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> On Mon, Feb 26, 2018 at 03:36:38PM -0800, Christopher Li wrote:
>>
>> You said you did not found crash in your first round testing.
>> However there is some regression of the IR. Can you share
>> the regression test case you found?
>
> I didn't spend much time at it but a typical small example
> of what I've seen is:
> void a(void) {
> long b;
> unsigned c = 0;
> for (;;)
> if (c)
> c = b;
> }
>
I am curious what is happening here.
If I print off the value pseudos that are created then I get this:
pseudo type = 3, size = 32, value = 0
pseudo type = 3, size = 32, value = 0
pseudo type = 3, size = 64, value = 0
Now where is the value pseudo of size 64 coming from as it is not in
the code above?
Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
