> > Sure! But in fact the argument was already known to be a pointer > > in all cases. I've committed a fix. > > Nice! Does it make sense to change the dejagnu test back to -O0? It does and I did. Ciao, Duncan.