Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/validator_test.c

 /*
  * Copyright (c) 2012 The Native Client Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 #include <assert.h>
 #include <stdio.h>
 #include <stddef.h>
 #include <stdlib.h>
@@ skipping 95 matching lines @@
   if (validation_error & BPL_MODIFIED)
     printf("offset 0x%"NACL_PRIxS": error - %%bpl or %%bp is changed\n",
                                                                         offset);
   if (validation_error & SPL_MODIFIED)
     printf("offset 0x%"NACL_PRIxS": error - %%spl or %%sp is changed\n",
                                                                         offset);
   if (validation_error & BAD_CALL_ALIGNMENT)
     printf("offset 0x%"NACL_PRIxS": warning - bad call alignment\n", offset);
   if (validation_error & BAD_JUMP_TARGET)
     printf("bad jump to around 0x%"NACL_PRIxS"\n", offset);
-  if (validation_error & (VALIDATION_ERRORS | BAD_JUMP_TARGET))
+  if (validation_error & (VALIDATION_ERRORS_MASK | BAD_JUMP_TARGET))
     return FALSE;
   else
     return TRUE;
 }
 
 Bool ValidateFile(const char *filename, int repeat_count,
                  enum validation_options options,
                  const NaClCPUFeaturesX86 *cpu_features) {
   size_t data_size;
   uint8_t *data;
@@ skipping 118 matching lines @@
                           options,
                           use_old_features ? &validator_cpuid_features :
                                              &full_cpuid_features);
     if (!rc) {
       printf("file '%s' can not be fully validated\n", filename);
       return 1;
     }
   }
   return 0;
 }