https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945
--- Comment #8 from Mark Wielaard <mark at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #7) > > 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? I don't know, my Ada foo isn't very strong. How is the allowed range defined? How do you test for it? Doesn't that mean the value needs to be defined at least for that range check? If not, is the 'Valid attribute check non-deterministic because you cannot rely on the value being or not being in the allowed range?
