[patch] for PRs 27639 and 26719

[Duncan Sands]

> > For VRP, it would be helpful to have an efficient way of checking whether
> > TYPE_MIN_VAL/TYPE_MAX_VAL are [*] non-trivial for a type, i.e. differ from
> > what you might expect given TYPE_PRECISION and signedness.  Perhaps you can
> > suggest one?
> 
> Apart from checking if we are dealing with a subtype there is nothing
> apart from doing the comparison against the basetypes value range.

If I understand right you can get hold of the basetype by looking at the TREE_TYPE
of the type; does this work for Pascal too?

Thanks,

Duncan.