Static Analyzer

[tahadostifam]

• TypedAST
• Resolver
• Static Analyzer
• Sync the CodeGenLLVM with new system.

Static Analyzer Tasks

• Type checking

  • Check func call types

• Control Flow Analysis

  • Check all code paths return
  • Detect dead/unreachable code

• Lint & Style

  • Warn on unused variables
  • Warn on unused internal declarations (structs, enums, typedefs, ...)
  • Error on Cyclic type definition
  • Warn on unused import
  • Handle multiple entry point and invalid main func definition

Also consider to add

• Initializer element is not a compile-time constant (non comp-time initializer value for global variable)