------- Comment #3 from dominiq at lps dot ens dot fr 2007-10-31 13:33 ------- (7) A specification inquiry where each designator or function argument is (a) a restricted expression or (b) a variable whose properties inquired about are not (i) dependent on the upper bound of the last dimension of an assumed-size array, (ii) deferred, or (iii) defined by an expression that is not a restricted expression, (8) A reference to any other standard intrinsic function where each argument is a restricted expression,
A specification inquiry is a reference to (1) an array inquiry function (13.5.7), (2) the bit inquiry function BIT_SIZE, (3) the character inquiry function LEN, (4) the kind inquiry function KIND, (5) the character inquiry function NEW_LINE, (6) a numeric inquiry function (13.5.6), (7) a type parameter inquiry (6.1.3), or (8) an IEEE inquiry function (14.9.1), ASSOCIATED appears in 13.5.8, but is not listed above, so it is probably not a valid "specification inquiry" however this restriction seems lifted by (8) (it is probably the appropriate time to have a "simplified" F2003 draft!-). 13.5.8 Other inquiry functions ALLOCATED (ARRAY) or ALLOCATED (SCALAR) Allocation status ASSOCIATED (POINTER [, TARGET]) Association status inquiry or comparison BIT_SIZE (I) Number of bits of the model EXTENDS TYPE OF (A, MOLD) Same dynamic type or an extension LEN (STRING [, KIND]) Length of a character entity NEW_LINE (A) Newline character PRESENT (A) Argument presence SAME_TYPE_AS (A, B) Same dynamic type -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33957