Lines Matching defs:check
676 (2) partial: known-problematic situations get a self-check
677 (3) full checking: all translations get a self-check
689 be non-self-checking. Otherwise, it needs a self-check.
691 This is complicated by Vex's basic-block chasing. If a self-check
784 self-check. See documentation of
807 self check. Whilst we're at it, note any NSegments that we get,
813 Bool check = False;
824 check = True;
827 if (!check) {
830 /* never check (except as per Darwin hack above) */
833 /* always check */
834 check = True;
837 /* check if the address is in the same segment as this
845 check = True;
849 /* check if any part of the extent is not in a
856 /* in a file-mapped segment; skip the check */
858 check = True;
867 if (check)
913 check that the system is behaving as expected. */
1111 gen_PUSH, an overflow check is also performed. */
