https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Sure. But I assume the unitialized part isn't accessed when resolving the > 'Valid attribute. Does checking for the 'Valid attribute depend on any > uninitialized bits? Testing 'Valid means comparing the value with the allowed range, so how can you do that without accessing that value?
