[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cfe-dev
Subject:    Re: [cfe-dev] Disable #error?
From:       Jacob Carlborg <doob () me ! com>
Date:       2014-01-15 19:38:46
Message-ID: lb6o3q$sce$1 () ger ! gmane ! org
[Download RAW message or body]

On 2014-01-15 18:39, Sean Silva wrote:

> You are trying to understand the meaning of the program, which means
> that you are under the same correctness constraints as when compiling.

I want the tool to understand enough to do the translation.

> Consider:
>
> #if defined(FOO)
> #error "bar"
> void
> #else
> int
> #endif
> some_function(int arg);
>
> If you ignore the #error, you will misunderstand the program's semantics.

I do understand what you're saying but I don't see any other way. The 
feature would probably be off by default with a flag to enable it. The 
user is free to use it if he/she wants to.

-- 
/Jacob Carlborg

_______________________________________________
cfe-dev mailing list
cfe-dev@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
[prev in list] [next in list] [prev in thread] [next in thread]