12 juin 2021 16:49 "Tom Honermann via Std-Proposals" <std-proposals@lists.isocpp.org> a écrit:
In either case, I think there is a need to be able to propagate poison/taint.
I know it might sound dump, but, like what we do with the nullptr keyword, wouldn't a new keyword, like "undefined" for instance, be the best solution for that?
If a variable has this pseudo-value, it means to the compiler that it is uninitialized, and appropriate warnings can be fired if the compiler can prove a variable with the "undefined" value is being used.
It would only have effects during compilation, and would be completely "removed" during runtime.
What do you think?
--
Antoine Viallon
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals