Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002219Frama-CPlug-in > wppublic2016-03-18 07:032016-03-22 22:22
Reporterszt 
Assigned Tocorrenson 
PrioritynormalSeveritycrashReproducibilityalways
StatusassignedResolutionopen 
Platformx86-64OSGNU/LinuxOS VersionUbuntu 14.04.4
Product VersionFrama-C Magnesium 
Target VersionFixed in Version 
Summary0002219: Crash with large array initialisation
Descriptionwp plugin crashes when I try to check code
Steps To Reproducejust run frama-c -wp -wp-proof alt-ergo array_testcase.c
Additional Information[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing ../../prog/array_testcase.c (with preprocessing) [kernel] Current source was: ../../prog/array_testcase.c:1 The full backtrace is: Raised at file "src/plugins/wp/register.ml", line 607, characters 30-32 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel_internals/runtime/boot.ml", line 37, characters 4-20 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 778, characters 2-9 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 227, characters 4-8 Unexpected error (Stack overflow). Please report as 'crash' at http://bts.frama-c.com/. Your Frama-C version is Magnesium-20151002. Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines
TagsNo tags attached.
Attached Filesc file icon array_testcase.c [^] (127 bytes) 2016-03-18 07:03 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2016-03-18 07:03 szt New Issue
2016-03-18 07:03 szt Status new => assigned
2016-03-18 07:03 szt Assigned To => correnson
2016-03-18 07:03 szt File Added: array_testcase.c


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker