This is my function which causes the error
void copy_bounds_concrete(char* lower, char* upper, struct bounds* results){
if (DEBUG)
printf("%d %d \n", strlen(lower), strlen(upper));
(*results).lowerBound =(char*) malloc(strlen(lower));
strcpy((*results).lowerBound, lower);
(*results).upperBound =(char*) malloc(strlen(upper));
strcpy((*results).upperBound, upper);
}
and this is the struct bounds:
struct bounds
{
char* name;
char* lowerBound;
char* upperBound;
}
I don't know why I got this pointer error. I have spent couple of hours to figure out but get nothing.