This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Question on extract_range_from_cond in tree-ssa-dom
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: pinskia at physics dot uc dot edu
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 6 Jul 04 00:29:40 EDT
- Subject: Re: Question on extract_range_from_cond in tree-ssa-dom
> Callers seem to use the values as if they were known to be
> INTEGER_CSTs, but the documentation of the function doesn't say they
> have to be and indeed there's no code to assure they are.
>
> What's the situation here?
There are checks before the first extract_range_from_cond to make
sure that it is INTEGER_CST likewise for the other one so ...
No, I mean the values returned *from* it. They are passed to
tree_int_cst_compare, which only is valid for INTEGER_CST, but they
are taken from (e.g.) TYPE_MAX_VALUE, which doesn't have to be an
INTEGER_CST.