Referencing null field does not result in error
Summary
According to point c) of Section 10 of the TTCN-3 standard, referencing a null field value using dot or index notation shall result in an error. Titan however, does not work accordingly.
Steps and/or TTCN-3 code to reproduce
type record defrecord{
default f
}
type record of default defvector;
const defrecord cdr := {null}
const defvector cdv := {null, null}
testcase null_field_constant() runs on ct_empty{
log(cdr.f);
log(cdv[0]);
setverdict(pass);
}
What is the current bug behavior?
Test case passes.
What is the expected correct behavior?
Test case shall run into an error.
Relevant logs and/or screenshots
2023/Jan/27 06:39:24.007471 USER - null 2023/Jan/27 06:39:24.007533 USER - null
Possible fixes
Titan version
8.1.0
Platform details (OS type and version)
Microsoft Windows 10 Enterprise 10.0.19042
/cc @aknappqwt @mmagyari