PING: [PATCH] Improve message 'Undefined allocation of 0 bytes'

[Daniel Marjamäki]

Hello!

> We're not actually checking what the behavior of a 0-byte allocation is on the user's target platform, so it's possible the use is unsafe now, not just when they try to port it to another target.

Yes it is possible it is unsafe now. However as you say we don't know that. We do really know it is unsafe on other platforms.

We can guess that it's unspecified behaviour. That will generate false positives when it's safe as far as I see.

If you think "unspecified behaviour" is better I will happily change it.

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