This pass ensures that every variable that has been declared is also paired with an un-declare. More...
#include <gyoji-analysis.hpp>
Inheritance diagram for Gyoji::analysis::AnalysisPassVariableScopePairing:
Collaboration diagram for Gyoji::analysis::AnalysisPassVariableScopePairing:
Detailed Description
This pass ensures that every variable that has been declared is also paired with an un-declare.
This analysis pass checks to make sure that for every path through the code, if a variable is declared, it is also un-declared and also guarantees that each of the declared local variables is matched with a destructor, guaranteeing that it is safe to use scope guards in a way that matches the lexical scopes.
The documentation for this class was generated from the following file:
- /home/jona/NetBeansProjects/jos/compiler/jlang2/src/analysis/gyoji-analysis.hpp
