Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000670Frama-CPlug-in > jessiepublic2011-01-12 15:002011-01-12 15:00
Reporterlukaszc 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Carbon-20101202-beta2 
Target VersionFixed in Version 
Summary0000670: In certain circumstances Jessie cannot analyse files that it generates
DescriptionWhen doing a jessie analysis I got the following message:

[jessie] Calling Jessie tool in subdir ./library/trimming_sliced.jessie
File "trimming_sliced.jc", line 166, characters 12-23: unsupported goto (backward or to some inner block)
[jessie] user error: Jessie subprocess failed: jessie -why-opt -split-user-conj -v -locs trimming_sliced.cloc trimming_sliced.jc


trimming_sliced.jc is uploaded with the report
TagsNo tags attached.
Attached Files? file icon trimming_sliced.jc [^] (16,118 bytes) 2011-01-12 15:00

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-01-12 15:00 lukaszc New Issue
2011-01-12 15:00 lukaszc Status new => assigned
2011-01-12 15:00 lukaszc Assigned To => cmarche
2011-01-12 15:00 lukaszc File Added: trimming_sliced.jc


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker