--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] inline assembly code



So by default assembly code will be ignored in input/output computation. Thank you for the quick response!

Thanks

Xu Deng
8621-7069


-----Original Message-----
From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Pascal Cuoq
Sent: Monday, March 28, 2011 10:44 AM
To: Frama-C public discussion
Subject: Re: [Frama-c-discuss] inline assembly code

Hello,

> How frama-C handle the inline assembly code in a C program when compute the
> input and output of a function? Will the reference in inline assembly code
> be counted in?

Of course, the problem with inline assembly in C programs is that it
is not standardized; different compilers have different syntaxes. So
the asm statement is treated as if it did nothing.