Hello Steve,
Le 01/11/2015 22:16, Steve Kargl a écrit :
The attach patch add checking for a valid type during
matching of a CASE selector. Built and regression
tested on i386-*-freebsd. OK to commit?
[...]
Index: gcc/fortran/match.c
===================================================================
--- gcc/fortran/match.c (revision 229634)
+++ gcc/fortran/match.c (working copy)
@@ -5036,6 +5036,15 @@ match_case_selector (gfc_case **cp)
goto need_expr;
if (m == MATCH_ERROR)
goto cleanup;
+
+ /* F08:C830 case-expr shall be of type character, integer, or logical.
*/
case-expr is the expression appearing in a SELECT CASE statement (k in
the test), while here the problem is in a CASE statement, dealing with
value-expr's.
So I think C830 doesn't apply here. But you can rely on F08:C832 saying:
"For a given case-construct, each case-value shall be of the same
type as case-expr"
The type of case-expr is only checked in resolve_select, so the check
for the value-expr's should probably happen there as well.
Mikael
