.. _stdlib_validate_code:

===========================
Code validation annotations
===========================

.. das:module:: validate_code

The VALIDATE_CODE module implements AST validation passes that check for
common code quality issues, unreachable code, missing return statements,
and other semantic errors beyond what the type checker verifies.

All functions and symbols are in "validate_code" module, use require to get access to it.

.. code-block:: das

    require daslib/validate_code



++++++++++++++++++++
Function annotations
++++++++++++++++++++

.. _handle-validate_code-verify_completion:

.. das:attribute:: verify_completion

Verify that the function completes without infinite loops or recursion
This annotation checks for potential infinite loops and recursive calls
within the annotated function. If any are detected, a compile-time error
is generated, preventing the code from compiling.