Lines Matching full:satisfies
391 * unreachable. This satisfies the DEAD_CODE_ELIMINATION
397 * satisfies the ANALYSIS postcondition. It is not necessary to
413 * unreachable. This satisfies the DEAD_CODE_ELIMINATION
419 * satisfies the ANALYSIS postcondition. It is not necessary to
523 /* Recursively lower nested jumps. This satisfies the
851 /* Recursively lower nested jumps. This satisfies the
917 * satisfies the loop.may_set_return_flag part of the
