0001352: Error message could be better - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0001352

Frama-C

Kernel

public

2013-01-28 17:30

2014-03-13 15:57

Reporter

signoles

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

Frama-C Neon-20140301

Summary

0001352: Error message could be better

Description

On the following incorrect file:

=== bug.i ===
int main(void) {
int t /* [5] missing */ = { 1, 2, 3, 4, 5 };
}
=============

frama-c reports:
$ frama-c bug.i
bug.i:2:[kernel] failure: doInit: unexpected NEXT_INIT for int
[kernel] user error: skipping file "tests/fusy/lval.i" that has errors.
[kernel] Frama-C aborted: invalid user input.

This message is not very helpful...

Tags

No tags attached.

Relationships

Notes
(0004568) 2014-02-12 16:57	Fix committed to stable/neon branch.

Issue History
Date Modified	Username	Field	Change
2013-01-28 17:30	signoles	New Issue
2013-01-28 17:30	signoles	Status	new => assigned
2013-01-28 17:30	signoles	Assigned To	=> virgile
2013-01-28 17:34	virgile	Status	assigned => confirmed
2013-07-04 14:25	svn	Checkin
2013-07-04 14:25	svn	Status	confirmed => resolved
2013-07-04 14:25	svn	Resolution	open => fixed
2014-02-12 16:57		Note Added: 0004568
2014-03-13 15:56	signoles	Fixed in Version	=> Frama-C Neon-20140301
2014-03-13 15:57	signoles	Status	resolved => closed

Copyright © 2000 - 2019 MantisBT Team