Problem with converting of type specifiers
I have two code examples, which from my point of view are identical. CIF correctly processes the first one, but fails with an error on the second one.
typedef int my_int1; typedef my_int1 __attribute__((__may_alias__)) my_int2;
typedef int my; typedef my __attribute__((__may_alias__)) my2;
test.c:5:1: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 5606: type specifier "my" wasn't converted typedef my __attribute__((__may_alias__)) my2;
Updated by Ilya Shchepetkov 12 months ago
This issue is responsible for the majority of failures on the Linux kernel (13 of 16). Truth is these failures are mostly in the areas we are not interested in, so it is not an "urgent" issue. However, it is really easy to reproduce, plus the issue looks really strange, so I propose to fix it right away.