gcc/fortran/resolve.c

7 GCC is free software; you can redistribute it and/or modify it under
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
78    resets the flag each time that it is read.  */
341 	 shape until we know if it has the pointer or allocatable attributes.
370       /* If the flavor is unknown at this point, it has to be a variable.
566      ignore it.  */
716   /* If it is a module function, it needs to be in the right namespace
734   /* Add an entry statement for it.  */
978   /* The common name is a global name - in Fortran 2003 also if it has a
1089    way it can get one is through an IMPLICIT type or a RESULT variable, because
1136   /* A constructor may have references if it is the result of substituting a
1171       /* If we don't have the right type, try to convert it.  */
1179 		 The derived type can get lost because it is PRIVATE
1180 		 but it is not usage constrained by the standard.  */
1469      What should it be?  */
1485   called from procedure resolution functions, it only recurses at
1515    there is a matching specific name.  If none, it is an error, and if
1576   /* Find the context procedure's "real" symbol if it has entries.
1640      gfc_find_subroutine directly to check whether it is a function or
1695   /* Check it is actually available in the standard settings.  */
1701 		 "%<-fall-intrinsics%> in order to use it.",
1710 /* Resolve a procedure expression, like passing it to a called procedure or as
1735 		 " itself recursively.  Declare it RECURSIVE or use"
1810 	     check if it is intrinsic.  */
1924 	 primary.c (match_actual_arg). If above code determines that it
1925 	 is a  variable instead, it needs to be resolved as it was not
1957 		 in gfortran, it is a good deal easier to leave them to
2092   /* If it is an array, it shall not be supplied as an actual argument
2128 		       "MISSING, it cannot be the actual argument of an "
2178    one if it does not already exist.  If it already exists, then the
2908   /* If this is a procedure pointer component, it has already been resolved.  */
2970 		 "be used at %L since it is not a dummy argument",
3007   /* If the expression is still a function (it might have simplified),
3089 	  gfc_error ("Function %qs at %L cannot be called recursively, as it"
3351 /* Resolve a subroutine call.  Although it was tempting to use the same code
3411 		       "as it is not RECURSIVE", csym->name, &c->loc);
3668 		 agree, so it is only necessary to check the first one.   */
3931    Return 0 if it wasn't able to compute the last value, or if the
4087 	   then it also has to be between lower and upper.  */
4283    in a module, so we take care of it here.
4429   /* If the reference type is unknown, figure out what kind it is.  */
4732 /* Given an expression, determine its shape.  This is easier than it sounds.
4733    Leaves the shape array NULL if it is not possible to determine the shape.  */
4761    examining the base symbol and any reference structures it may have.  */
4979   /* If this is an associate-name, it may be parsed with an array reference
5059 	  /*  If it has not been seen as a dummy, this is an error.  */
5065 			   "in which it is a parameter",
5069 			   "statement in which it is a parameter",
5097   /* If a symbol has been host_associated mark it.  This is used latter,
5207 	  /* Clear the shape, since it might not be valid.  */
5227 		 since resolve_function will take care of it.  */
5373 /* Extract the passed-object from an EXPR_COMPCALL (a copy of it).  */
5433 /* Extract the passed object from a PPC call (a copy of it).  */
5510 /* Check that the object a TBP is called on is valid, i.e. it must not be
5712 	  /* Clean up and break out of the loop if we've found it.  */
5830   /* For now, we simply transform it into an EXPR_FUNCTION call with the same
5904       /* Use the generic name if it is there.  */
5954   /* Treat the call as if it is a typebound procedure, in order to roll
6037       /* Use the generic name if it is there.  */
6303 	     here rather then add a duplicate test for it above.  */
6495    INTEGERs, and if stride is a constant it must be nonzero.
6498    forall-triplet-spec-list in which it appears." (7.5.4.1)  */
6501 resolve_forall_iterators (gfc_forall_iterator *it)
6505   for (iter = it; iter; iter = iter->next)
6541   for (iter = it; iter; iter = iter->next)
6554 /* Given a pointer to a symbol that is a derived type, see if it's
6555    inaccessible, i.e. if it's defined in another module and the components are
6836   /* Make sure the expression is allocatable or a pointer.  If it is
7191 			 "%L in the same ALLOCATE statement where it is "
7469    process.  LIST is the head of the double linked case list before it
7661    is in code->expr1, but for a computed GOTO it is in code->expr2. All
7687 	 by the compiler, so it should always be OK.  Just move the
7860 	      /* If the case range can be matched, it can also overlap with
7861 		 other cases.  To make sure it does not, we put it in a
7926       /* Prepend the default_case if it is there.  */
7945 	  /* Kill the dead block, but not the blocks below it.  */
7952      Issue a warning for it.  */
8010   /* Get type if this was not already set.  Note that it can be
8048      sure that it has not picked up a dimension attribute.  */
8190      it is changed to.  */
8282       /* Chain in the new list only if it is marked as dangling.  Otherwise
8409      it requires that the sym->assoc of selectors is set already.  */
8421       it's being transferred from the module where the type was defined
8470                 "it is processed by a defined input/output procedure",
8482 		     "components unless it is processed by a defined "
8498 		     "components unless it is processed by a defined "
8799   /* Step four:  If we haven't found the label in the bitmap, it may
8801     case we find it by going up the code_stack.  */
8810 	     construct as END CRITICAL is still part of it.  */
8830      allowed in Fortran 66, so we allow it as extension.  No
9062 	   there is no need to handle it here.  */
9421      to a temporary if the lvalue symbol is referenced in it.  */
9890 	     use the defined_assign_comp attribute here because it must
9913 		 it at the head of the generated code.  */
9921 		  /* For allocatable LHS, check whether it is allocated.  Note
10322 	       used in gfc_check_vardef_context.  Remove it.  */
10667       /* This can only happen if the variable is defined in a module - if it
10668 	 isn't the same module, reject it.  */
11180 		     "because it is blocked by an incompatible object "
11478   /* An external symbol may not have an initializer because it is taken to be
11699      it from the list.  */
11708       /* Skip this finalizer if we already resolved it.  */
11776       /* Check that it does not match in kind and rank with a FINAL procedure
11971 	/* Once we've found the specific binding, check it is not ambiguous with
12223   /* Get the target-procedure to check it.  */
12271 	     and look for it.  */
12489      DEFERRED, look it up starting from sub and see if the found (overriding)
12491      This is not the most efficient way to do this, but it should be ok and is
12508   /* Find next ancestor type and recurse on it.  */
12721 		and look for it.  */
13298       /* Otherwise give it a flavor according to such attributes as
13299 	 it has.  */
13470 		 "it is not a dummy argument", sym->name, &sym->declared_at);
13595   /* If the symbol is marked as bind(c), verify it's type and kind.  Do not
13599      handled here but instead is handled in the module it is declared in.
13614 	  gfc_error ("Variable %qs at %L cannot be BIND(C) because it "
13639 	  /* Verify the variable itself as C interoperable if it
13662      statement. Change the type to BT_UNKNOWN, both because it is so
13676      derived type is visible in the symbol's namespace, if it is a
13984   /* If this symbol has a type-spec, check it.  */
14417      it here.  In principle equivalences should be scanned but it does not
14712       /* match_varspec might not know yet if it is seeing
14713 	 array reference or substring reference, as it doesn't
15206      body, we should clear any state associated to it, so that say NS's