> Hm, ok. I was more looking at removing the calls from fold-const.c where > it seems to protect things like folding x <= +Inf to x == x, stuff unlikely > to appear in type sizes. I can imagine the Ada FE wanting to do > things with type sizes and variable_size's wrapping looks like merely > an optimization to me (for re-using values in nested array types > for example(?)).
I indeed can try to remove some/the calls present in fold-const.c as part as my upcoming patch to tidy up the hook, but the one present in variable_size needs to stay for the time being. -- Eric Botcazou