Issue converting typedef pointers to checked types

[hasantouma]

I came across this issue when converting the icecast code.

The issue can be illustrated with this small example:

#ifndef foo
#define foo int
#endif

int main() {
  foo* a;

  return 0;
}

checked-c-convert produces this:

#ifndef foo
#define foo int
#endif

int main() {
  _Ptr<int>  aa;

  return 0;
}

Note the variable name change and the _Ptr<> change from foo to int

[hasantouma]

This is a more extensive example of the issue:

C code:

#ifndef foo
#define foo int
#endif

int main() {
  foo *a, *b, *c;

  return 0;
}

checked-c-convert output:

#ifndef foo
#define foo int
#endif

int main() {
  foo *a, *b, *c_Ptr<int> a;
_Ptr<int> b;
_Ptr<int> c;
;

  return 0;
}

[mgrang]

Transferred this issue to the 3C team: correctcomputation#409