16.3.3 References to Nonestablished Names

In a scoping unit, a procedure name is not established if it is not determined to be generic or specific.

To resolve a reference to a procedure name that is not established, the following rules are used in the order shown:

1. If both of the following are true, the dummy argument is a dummy procedure and the reference is to that dummy procedure:
   
   
   1. The scoping unit is a subprogram.
      
      
   2. The procedure name is a dummy argument of that subprogram.

   The procedure invoked by the reference is the one supplied as the corresponding actual argument.

2. If both of the following are true, the procedure is an intrinsic procedure and the reference is to that intrinsic procedure:
   
   
   1. The procedure name matches the name of an intrinsic procedure.
      
      
   2. There is agreement between the intrinsic procedure definition and the reference of the name as a function or subroutine.
   
   
3. If neither of the preceding rules apply, the reference is to an external procedure with that name.

For More Information:

• On subroutine references, see Section 7.2.
  
  
• On function references, see Section 8.5.2.2.
  
  
• On generic procedure names, see Section 8.9.3.
  
  
• On the USE statement, see Section 8.3.2.