Change-Id: I4a6a3160459761773aeb67aef2dcc1d499eaffd1
Signed-off-by: Botond Baranyi <botond.baranyi@ericsson.com>
}
}
return gov->chk_this_value(v, lhs, Type::EXPECTED_DYNAMIC_VALUE,
- INCOMPLETE_NOT_ALLOWED, OMIT_NOT_ALLOWED, NO_SUB_CHK, NOT_IMPLICIT_OMIT,
+ INCOMPLETE_NOT_ALLOWED, OMIT_ALLOWED, NO_SUB_CHK, NOT_IMPLICIT_OMIT,
is_str_elem);
}
setverdict(pass);
}
+type record MyRecord {
+ integer a optional
+}
+
+// comparing an optional record field to 'omit' in a boolean variable assignment (bug 498430)
+testcase boolCompEqOmit() runs on boolOper_comptype {
+ var MyRecord myRecord := { a := omit };
+ var boolean b := myRecord.a == omit;
+ if (b == true) { setverdict(pass); }
+ else { setverdict(fail); }
+}
+
control {
const boolean cl_1:=true;
var boolean vl_1;
execute(boolSubtypes());
execute(boolIsvalue());
execute(boolShortCircuit());
+ execute(boolCompEqOmit());
}
}