doc/scopechecks.txt

   1 HEAD- Scope Checks;;
   2 INDEX CHECKED, Scope; CHECKED; tag scope as reviewed
   3 INDEX UNCHECKED, Scope; UNCHECKED; tag scope as unreviewed
   4
   5 The programmer can tag any scope as `UNCHECKED` or `CHECKED`. In *ALPHA* and *BETA*
   6 builds, a global `UNCHECKED` is implied. In *RELEASE* builds, `UNCHECKED` scopes are
   7 not allowed.
   8
   9 [source,C]
  10 -------
  11 int
  12 myfunc()
  13 {
  14    /* the outer scope of this function is not validated yet*/
  15    UNCHECKED;
  16
  17    if (...)
  18    {
  19       /* everything in this scope is considered ok */
  20       CHECKED;
  21       ...
  22    }
  23    return ...;
  24 }
  25 -------
  26