Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001126Frama-CKernelpublic2012-03-20 11:082014-02-12 16:59
Reporterpherrmann 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0001126: AST check failure : problem with generated block-local variables
DescriptionOn submitted file :

frama-c -check failchek.c

produces

failcheck.c:40:[kernel] failure: [AST Integrity Check] initial AST
                  In function _gnutls_epoch_set_cipher_suite, variable tmp_0 is supposed to be local to a block but not mentioned in function's locals.
[kernel] error occurring when exiting Frama-C: stopping exit procedure.


Also, use of

frama-c failcheck -print -then -check

does not produce the problem, while

frama-c failcheck.c -then -check

does, thus -print seems to have an unintended side-effect.
TagsNo tags attached.
Attached Filesc file icon failcheck.c [^] (1,447 bytes) 2012-03-20 11:08 [Show Content]

- Relationships

-  Notes
(0004708)

2014-02-12 16:59

Fix committed to stable/neon branch.

- Issue History
Date Modified Username Field Change
2012-03-20 11:08 pherrmann New Issue
2012-03-20 11:08 pherrmann File Added: failcheck.c
2012-03-20 21:05 yakobowski Status new => assigned
2012-03-20 21:05 yakobowski Assigned To => virgile
2012-03-30 16:44 svn Checkin
2012-03-30 16:44 svn Status assigned => resolved
2012-03-30 16:44 svn Resolution open => fixed
2012-09-19 17:15 signoles Fixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16 signoles Status resolved => closed
2014-02-12 16:59 Note Added: 0004708
2014-02-12 16:59 Status closed => resolved


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker