Crash with ATS including a character pattern - Windows release
Submitted by Carlos Arroyo
Link to original bug (#572445)
Description
Created attachment 285986 modified ATS MCX_IPCAN_IWD_21wk12
Hello,
We have noticed an issue handling a character pattern with the windows version we still use, v6.5.pl1. I have also checked that this is not happening with the Titan 7.1.0 for Ubuntu (18.04) so this report could be at least useful before you officialy release v7.2.1 for Windows.
Even though the attached dummy module can be analyzed without problems, the tool (v6.5pl1) seems to crash without any further output when the same function is added within a complete ATS.
The code snippet is:
module LineFeedTitan {
type charstring Char1_Type length (1);
function f_Linefeed() return Char1_Type
{
var Char1_Type v_Char1 := char(UA);//char(0,0,0,10);
return v_Char1;
}
}
so summarising, the tool crashes running over an ATS including this function but not when it analyses just a single module with the mentioned objects.
Please find attached both ATSs and the isolated module.
Best Regards, Carlos Arroyo - MCC TF160
Attachment 285986, "modified ATS MCX_IPCAN_IWD_21wk12":
MCX_IPCAN_IWD_21wk12.zip
Version: 6.5.1