Program-Level Requirements

Program-level interprocedural analysis imposes some requirements and limitations on the source code files that the compiler translates:

• Dependencies Among Source Files
  
• Function and Top-level Variable Declarations
  
• Type Definitions
  
• Unnamed Structures and Enumerations in C