Searched defs:precondition (Results 1 – 4 of 4) sorted by relevance
115 struct precondition struct117 CmpOp cmp;118 int op_num;119 OpType typ; /* CONSTANT: op_data is a constant.122 int op_data;
325 dt_sugar_do_if(dt_sugar_parse_t *dp, dt_node_t *if_stmt, int precondition) in dt_sugar_do_if()390 dt_sugar_visit_stmts(dt_sugar_parse_t *dp, dt_node_t *stmts, int precondition) in dt_sugar_visit_stmts()
57 precondition, enumerator