Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001041Frama-CKernelpublic2011-12-09 02:452011-12-09 19:06
Reporteroliverks 
Assigned Topascal 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
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

-  Notes
(0002538)
monate (reporter)
2011-12-09 08:15

This bug is fixed in the Nitrogen version. Do you have any reason for using the old Boron version?
(0002540)
pascal (reporter)
2011-12-09 19:05

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 [^]

- 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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker