Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000489Frama-CKernelpublic2010-05-28 10:032014-02-12 16:55
Reporterpuccetti 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000489: Cint64 user constants have no textual representation
DescriptionInteger literal constants are represented in CIL by the following type:

type constant =
  | CInt64 of int64 * ikind * string option
...

But the user-defined integer constants have an empty textual representation (3rd component of type above).
Additional InformationAn example file is appended.
TagsNo tags attached.
Attached Filesc file icon m10_1.c [^] (3,678 bytes) 2010-05-28 10:03 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-05-28 10:03 puccetti New Issue
2010-05-28 10:03 puccetti File Added: m10_1.c
2010-05-28 10:08 virgile Status new => assigned
2010-05-28 10:08 virgile Assigned To => virgile
2010-05-28 10:09 virgile Status assigned => acknowledged
2010-05-28 19:11 svn Checkin
2010-05-31 09:22 svn Checkin
2010-05-31 09:25 virgile Status acknowledged => resolved
2010-05-31 09:25 virgile Resolution open => fixed
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker