This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [patch] for PRs 27639 and 26719


On Thursday 6 July 2006 15:38, Richard Kenner wrote:
>     > It would be nice if somebody could write down the rules for subtypes
>     > of INTEGER_TYPE.  As far as I know they are undocumented.  
> 
> Can you say what type of information you're looking for?  My view has always
> been that they follow the standard rules of all types, with nothing special
> going on.  Some languages have rules regarding in which types arithmetic
> is done, but those are necessarily language-specific.

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?

Thanks,

Duncan.

[*] this should probably read: "may be non-trivial", since they can not
always be determined at compile time (dynamic ranges).


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]