The code is:
Push(size, (POINTER)(GetCar(i) == term_Null()? 0 : 1));
Here is the C code push
returns ABC
which is
typedef POINTER *ABC
typedef void * POINTER
ABC size;
Push(ABC,POINTER);
XYZ GetCar(int);
typedef struct xyz *XYZ;
XYZ term_Null();
long int i;
What is the reason for the particular warning?