Gyoji::analysis Namespace Reference

Analysis pass performs checks to ensure semantic consistency. More...

Classes
class	AnalysisPass
	Abstract interface to analysis passes. More...
class	AnalysisPassBorrowChecker
	Performs the borrow-checker algorithm. More...
class	AnalysisPassReturnValues
	Performs checks for return-value consistency. More...
class	AnalysisPassTypeResolution
	Check that all types have been fully declared before use. More...
class	AnalysisPassUnreachable
	Checks for the existence of unreachable code. More...
class	AnalysisPassVariableScopePairing
	This pass ensures that every variable that has been declared is also paired with an un-declare. More...

Detailed Description

Analysis pass performs checks to ensure semantic consistency.

The analysis passes each guarantee an aspect of semantics consistency. The borrow checker is one of these analysis passes.

Things that should be checked in the analysis passes:

• Initialization: Every variable is written (initialized) BEFORE it is read from.
• Type Resolution: Ensures that each variable has a type that has been fully resolved (i.e. that there are no forward-declared classes that are being used before being fully declared).
• Borrow Semantics: That access to variables through references always point to a valid location and have unique access to it at any point in time.
• Pairing of const/dest: Every local variable constructor is paired with a destructor. No path through the code allows a variable to be declared and constructed without a corresponding destructor and de-allocation.
• Unreachable code: There is no code after the end of any basic block which would become unreachable because a branch has occurred before that code is executed.
• Return semantics: Every path through the code returns a value that matches the return-value of the function (or void).