carbon-lang icon indicating copy to clipboard operation
carbon-lang copied to clipboard

Published 20 hours ago • verified publisher icon carbon-language

Implement static analysis of unformed usage on local variables.

Open SlaterLatiao opened this issue 3 years ago • 0 comments

  • An introprocedural forward analysis that checks the may-be-formed states on local variables.
  • Returns compilation error on usage of must-be-unformed variables.
  • Implemented as a pass of ASTNode traversal.
  • Currently supports detection of: function parameter, return expression and rhs of assign.

SlaterLatiao avatar Jul 30 '22 01:07 SlaterLatiao