> I'm wondering why for Ada boolean_true_node has a value that is > not in the range of the Ada type but is, for the specific case, > 255 instead of 1. Is there a specific reason for that?
None, boolean_true_node must be 1, that's why we (re)set it in gnat_init. > Does the following patch make sense (untested)? It's a no-op. TYPE_MAX_VALUE == TYPE_RM_MAX_VALUE if the latter exists. > Btw, I wonder if Ada cannot simply use its own boolean_type_node > global tree and leave the middle-ends boolean_type_node alone, > which is supposed to match the C ABI of the target. Only after Fortran does the same. :-) -- Eric Botcazou
