MATLAB: Is hisf_0015: Check Stateflow charts for strong data typing failing when a function in the expression is defined in custom code

Simulink Check

I have a MIN function defined as a macro in a C header that is being used in a Stateflow chart.
/* header */
#define MIN(A,B) ((A) > (B) ? (B) : (A))
%%Stateflow
[MIN(a,b) - single(2) == single(4)]
where a and b are singles. This expression is being flagged by hisf_0015, even though everything is a single.
Why is the check flagging this expression?

Best Answer

This is a limitation of hisf_0015 because the 'MIN' macro is defined in a custom source file. The recommended workaround is to explicitly cast 'MIN' to a single data type.
The same limitation seems to apply for MAB check mathworks.jmaab.jc_0802.
Related Question