https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-06-16T12:23:43ZOpen-Source ProjectsC Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=363422019-06-16T12:23:43ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Urgent</i> to <i>Normal</i></li></ul><p>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.</p> C Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=363442019-06-17T12:43:55ZIlya Shchepetkovshchepetkov@ispras.ru
<ul></ul><p>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.</p> C Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=363452019-06-17T13:27:51ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul><p>C is a programming language with strange issues by design. CIF is implemented in C over C, so, it contains strange^2 issues.</p> C Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=388852020-05-02T15:59:19ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>The issue is due to Aspectator uses "strstr" to match type names, so, "int" matches "my_int1". This bug exists just for definition of types with attribute "may_alias" since otherwise typedef names are handled earlier.</p> C Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=397612020-10-16T11:50:25ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Category</strong> set to <i>C back-end</i></li><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li></ul><p>This issue results in 7 of 43 CIF failures during Harmony OS kernel build. Moreover, due to it there is a malformed file with typedefs that causes EMG to fail. Let's avoid infinite workarounds and fix issues properly.</p> C Instrumentation Framework - Bug #9710: Problem with converting of type specifiershttps://forge.ispras.ru/issues/9710?journal_id=397672020-10-18T07:04:02ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Closed</i></li></ul><p>I fixed the issue in <a class="changeset" title="Update Aspectator and add test case Fixes https://forge.ispras.ru/issues/9710." href="https://forge.ispras.ru/projects/cif/repository/110/revisions/a451e4452ba541a007a9eafbd04991709eed4310">a451e44</a>. In addition, I re-implemented handling of type attributes to support (hopefully) all of them rather than a predefined set. CIF tests passed, but let's see on real applications.</p>