[cfe-dev] [analyzer] RFC, garbage value => out of bounds

[Daniel Marjamäki via cfe-dev]

Hello!

It seems to me that you disagree with me that it would be preferable to write an array-index-out-of-bounds warning.

There is undefined behaviour A and you want to complain about undefined behaviour B that is caused by A.

I think that is strange. But I will accept that.

Best regards,
Daniel Marjamäki

..................................................................................................................
Daniel Marjamäki Senior Engineer
Evidente ES East AB  Warfvinges väg 34  SE-112 51 Stockholm  Sweden

Mobile:                 +46 (0)709 12 42 62
E-mail:                 Daniel.Marjamaki at evidente.se

www.evidente.se