Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] pointer to interrupt

  • Subject: [Frama-c-discuss] pointer to interrupt
  • From: jean-marc.harang at (Jean-Marc Harang)
  • Date: Thu, 28 Oct 2010 10:27:41 +0200


I got  an error "[kernel] user error: syntax error"  after the 
preprocess of a header file with value analysis with the following 
declaration :

typedef interrupt void (*SYS_T_PINT) (void);

This declaration is used after for a interrupt vector array... I know 
it's very low level but it's a classic feature for embedded software.

In this case, what is the best way to solve / avoid the problem  ?

jean-marc Harang
C-S Communication & Syst?mes
Toulouse Agency