> I wonder if GIMPLE needs better annotations on parameters? > In particular, I recall that Ada can explicitly set in, out > or inout in the source code. So does Fortran. Gr. Steven