RFA: non-const libcalls

[Alexandre Oliva]

On May 13, 2001, Alexandre Oliva <aoliva@redhat.com> wrote:

> On May 12, 2001, Richard Henderson <rth@redhat.com> wrote:
>> On Sat, May 12, 2001 at 03:21:56PM -0300, Alexandre Oliva wrote:
>>> I'm pretty sure there was no problem in case the stores came before
>>> a regular call because this thing operated only within basic blocks,

>> No.  There was no problem on regular calls because they are 
>> assumed to read and write all memory.

>> /* Non-constant calls clobber memory.  */
>> if (! CONST_CALL_P (insn))

> Hmm...  So we probably still have a problem with regular function
> calls declared with attribute const, don't we?  We should probably be
> emitting CALL_INSN_FUNCTION_USAGE notes for arguments passed by
> reference to non-libcall const functions, shouldn't we?

Anyway, ok to install this so far?