Skip to content

#pragma diag_suppress 1107 causes syntax error

ID0001041: This issue was created automatically from Mantis Issue 1041. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0001041 Frama-C Kernel public 2011-12-09 2011-12-09
Reporter oliverks Assigned To pascal Resolution fixed
Priority normal Severity major Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Boron-20100401 Target Version - Fixed in Version Frama-C Nitrogen-20111001

Description :

In the following simple file

#define MSP430F5438 #pragma diag_suppress 1107

//#include "msp430.h"

int main( void ){ return 0; }

I get a syntax error on the pragma line. I am using OS X 10.6.8 with gcc version 4.2.1 (Apple Inc. build 5666) (dot 3)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information