Project

General

Profile

Bug #9710

Problem with converting of type specifiers

Added by Ilya Shchepetkov about 1 month ago. Updated 28 days ago.

Status:
New
Priority:
High
Category:
-
Start date:
06/14/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

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.

Example 1:

typedef int my_int1;
typedef my_int1 __attribute__((__may_alias__)) my_int2;

Example 2:

typedef int my;
typedef my __attribute__((__may_alias__)) my2;

Error:

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;

History

#1

Updated by Evgeny Novikov 29 days ago

  • Priority changed from Urgent to Normal

I do not see any urgentness in this toy example. There are much more awful known bugs. Maybe you can confirm priority of this issue as well.

#2

Updated by Ilya Shchepetkov 28 days 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.

#3

Updated by Evgeny Novikov 28 days ago

  • Priority changed from Normal to High

C is a programming language with strange issues by design. CIF is implemented in C over C, so, it contains strange^2 issues.

Also available in: Atom PDF