// This testcase was causing an incorrect type emission for data.
double data[100];
double *dpa = data;
double *dpb = data+100;
int main() { return 0; }