Help restricting args of an intrinsic function

[Mike Stump]

On Saturday, January 31, 2004, at 07:25 AM, Diego Novillo wrote:
> Syd seems to be looking for anything that the compiler can prove is a
> constant.

Ok, I'll buy that, but I don't think we want anything that can ever be 
turned off via an -O style option, or anything that is (or can be) 
machine dependent.

> Powerful != expensive.  Why are you considering such a simple data flow
> problem a non-starter?

We don't want to offer something that only compiles code on some 
machine or only compiles code with certain optimization settings.

The pointer case may be just beyond what we want to work.