Issue converting typedef pointers to checked types

[mgrang]

An issue with the 3C tool was reported on our checkedc-clang repo: checkedc#619. I am transferring the issue to the 3C team for investigation.

Following are the details of the issue:

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

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;
}

[john-h-kastner]

fixed by #254