2021-03-02 02:37 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001041Frama-CKernelpublic2011-12-09 19:06
Reporteroliverks 
Assigned Topascal 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Nitrogen-20111001 
Summary0001041: #pragma diag_suppress 1107 causes syntax error
DescriptionIn 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)


TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0002538

monate (reporter)

This bug is fixed in the Nitrogen version. Do you have any reason for using the old Boron version?

~0002540

pascal (reporter)

A binary build for Mac OS X is linked from this message in the mailing list:

http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2011-November/002889.html
+Notes

-Issue History
Date Modified Username Field Change
2011-12-09 02:45 oliverks New Issue
2011-12-09 08:15 monate Note Added: 0002538
2011-12-09 08:15 monate Status new => closed
2011-12-09 08:15 monate Resolution open => fixed
2011-12-09 08:15 monate Fixed in Version => Frama-C Nitrogen-20111001
2011-12-09 19:05 pascal Assigned To => pascal
2011-12-09 19:05 pascal Note Added: 0002540
2011-12-09 19:05 pascal Status closed => feedback
2011-12-09 19:05 pascal Resolution fixed => reopened
2011-12-09 19:06 pascal Status feedback => closed
2011-12-09 19:06 pascal Resolution reopened => fixed
+Issue History