Possibly wrong error message

Summary

TITAN returns an error about an omit field, while the problem is not caused by an omit field as there is no omit field in the code.

Steps and/or TTCN-3 code to reproduce

Use this code in a module:

type record MyType8
{
  integer field1 optional
};

testcase ref_subfield_unbound() runs on ct_empty{
  var MyType8 v_rec;
  var integer v_rec2 := v_rec.field1; //error
  setverdict(pass);
}

What is the current bug behavior?

This error message is displayed in the log:

Using the value of an optional field containing omit.

What is the expected correct behavior?

This would be more appropriate for an error message:

"Copying an unbound integer value."

This is the message that you get if you remove the optional keyword. The reason for this is that the field is not omitted but unbound.

Relevant logs and/or screenshots

Possible fixes

Titan version

8.2.1

Platform details (OS type and version)

Microsoft Windows 10 Enterprise 10.0.19042

/cc @aknappqwt