[Bug fortran/44604] Wrong run-time checks with VALUE dummies and pointer/allocatable actuals

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2010-06-21 07:13 -------
Seemingly the allocated/associated check

              cond = fold_build2 (EQ_EXPR, boolean_type_node, parmse.expr,
                                  fold_convert (TREE_TYPE (parmse.expr),
                                                null_pointer_node));
in trans-expr.c's gfc_conv_procedure_call accesses the value of the variable
and not its location as parmse.expr is already dereferenced via gfc_conv_expr,
called by

              else if (fsym && fsym->attr.value)
                {
       //       [...]
                    gfc_conv_expr (&parmse, e);
                }


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44604