False positive test in semantic error "Cannot determine system component" in map and unmap st.
Submitted by Jeno Attila Balasko
Assigned to Jeno Attila Balasko
Link to original bug (#568244)
Description
Created attachment 284565 common.ttcn example file
In regression_test/map_param/common.ttcn, there are false positive error markers:
Cannot determine system component in map' operation with
param' clause common.ttcn /TR_2020_09_ttcn2cpp/src/map_param line 72 on-the-fly semantic markers
Cannot determine system component in unmap' operation with
param' clause common.ttcn /TR_2020_09_ttcn2cpp/src/map_param line 78 on-the-fly semantic markers
Code details:
type port PT message { in integer out charstring map param (in octetstring p1 := P1_INITIAL, out IntList p2) unmap param (inout integer p) } ...
function f_test_params_retval(CT p_comp) runs on CT system CT return integer { var IntList v_p2 := P2_INITIAL; map(p_comp:pt, system:pt) param (-, v_p2);//line 72 if (v_p2 != P2_FINAL) { setverdict(fail, "Final value of parameter p2 is incorrect: ", v_p2); }
var integer v_p := P_INITIAL; unmap(p_comp:pt, system:pt) param(v_p);//line 78 ... }
Attachment 284565, "common.ttcn example file":
common.ttcn
Version: 7.1.0