On 2016-07-17 05:35, Andrew Godfrey wrote:
No it's not the same - void initialization leaves the variable uninitialized. I'm saying, something that still initialized, but marks that initial value as not to be used. Anyway... given the existence of void initialization (which I'd forgotten about), what I suggested would be very confusing to add.
I think annotating a variable with a UDA would be perfect for this. The static analyzer would recognize the UDA and do the proper analyzes.
-- /Jacob Carlborg
