int r;
int saved_num_null_check = reg->num_null_check;
- if (empty_info != 0) {
+ if (empty_info != NQ_BODY_IS_NOT_EMPTY) {
r = add_opcode(reg, OP_EMPTY_CHECK_START);
if (r != 0) return r;
r = add_mem_num(reg, reg->num_null_check); /* NULL CHECK ID */
r = compile_tree(node, reg, env);
if (r != 0) return r;
- if (empty_info != 0) {
+ if (empty_info != NQ_BODY_IS_NOT_EMPTY) {
if (empty_info == NQ_BODY_IS_EMPTY)
r = add_opcode(reg, OP_EMPTY_CHECK_END);
else if (empty_info == NQ_BODY_IS_EMPTY_MEM)
}
}
- if (empty_info != 0)
- mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
- else
+ if (empty_info == NQ_BODY_IS_NOT_EMPTY)
mod_tlen = tlen;
+ else
+ mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
if (infinite && qn->lower <= 1) {
if (qn->greedy) {
}
}
- if (empty_info != 0)
- mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
- else
+ if (empty_info == NQ_BODY_IS_NOT_EMPTY)
mod_tlen = tlen;
+ else
+ mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
if (infinite && qn->lower <= 1) {
if (qn->greedy) {
}
}
- if (empty_info != 0)
- mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
- else
+ if (empty_info == NQ_BODY_IS_NOT_EMPTY)
mod_tlen = tlen;
+ else
+ mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
if (infinite &&
(qn->lower <= 1 || tlen * qn->lower <= QUANTIFIER_EXPAND_LIMIT_SIZE)) {
}
}
- if (empty_info != 0)
- mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
- else
+ if (empty_info == NQ_BODY_IS_NOT_EMPTY)
mod_tlen = tlen;
+ else
+ mod_tlen = tlen + (SIZE_OP_EMPTY_CHECK_START + SIZE_OP_EMPTY_CHECK_END);
if (infinite &&
(qn->lower <= 1 || tlen * qn->lower <= QUANTIFIER_EXPAND_LIMIT_SIZE)) {
QTFR_(node)->lower = lower;
QTFR_(node)->upper = upper;
QTFR_(node)->greedy = 1;
- QTFR_(node)->body_empty_info = NQ_BODY_ISNOT_EMPTY;
+ QTFR_(node)->body_empty_info = NQ_BODY_IS_NOT_EMPTY;
QTFR_(node)->head_exact = NULL_NODE;
QTFR_(node)->next_head_exact = NULL_NODE;
QTFR_(node)->is_refered = 0;
#define BACKREFS_P(br) \
(IS_NOT_NULL((br)->back_dynamic) ? (br)->back_dynamic : (br)->back_static);
-#define NQ_BODY_ISNOT_EMPTY 0
+#define NQ_BODY_IS_NOT_EMPTY 0
#define NQ_BODY_IS_EMPTY 1
#define NQ_BODY_IS_EMPTY_MEM 2
#define NQ_BODY_IS_EMPTY_REC 3