Feature #9539: Print stub for inline Assembler - C Instrumentation Framework - Open-Source Projects

Actions

Copy link

Feature #9539

closed

Print stub for inline Assembler

Added by Evgeny Novikov over 5 years ago. Updated over 5 years ago.

Status:

Closed

Priority:

Urgent

Assignee:

Evgeny Novikov

Category:

C back-end

Start date:

03/13/2019

Due date:

% Done:

Estimated time:

Published in build:

Description

Inline Assembler is not interpreted by source code analysis & verification tools. Moreover, it can confuse them, e.g. CPAchecker doesn't support asm goto. So, it is better to print some stub instead of inline Assembler. For a start let's call undefined function void ldv_inline_asm(void).

Related issues 1 (0 open — 1 closed)