I could take some time later to look, but do you have a link on hand to this 1.11 decision?
I think it technically doesn’t count as undefined behavior because there is a significant restriction on what can happen eg accessing uninitialized isbits data can’t be implemented to throw an error. I think an arbitrary value is unspecified behavior but I’m not sure.