While running code prover I got so many Orange warnings and was trying to reduce them by giving data ranges
to function input parameters. But I was not able to input the range for pointer variables.(There is some structure pointer
passed to our functions).
Is there any way of giving data range to pointer variables?
For example in the below code snippet how to give data ranges for a->x,a->y and a->z
void DD_GTM_XYZ_Init ( GTM_XYZ_Pram_T *a, uint32_t b, uint32_t c, uint32_t d )