Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001280Frama-CPlug-in > wppublic2012-10-13 04:162012-10-13 04:16
Reportersjw 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in Version 
Summary0001280: Printing of function types causes a stack overflow
DescriptionThis occurs when dealing with function pointer types:
in src/wp/fol_formula.ml, pp_ctype, line

    477 | TFun _ as t -> Format.fprintf fmt "%a*" (pp_ctype dim) t

causes a stack overflow through the recursion on t. As far as I can
see, this function is only used to inform the user, so anything else would
be OK.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-10-13 04:16 sjw New Issue
2012-10-13 04:16 sjw Status new => assigned
2012-10-13 04:16 sjw Assigned To => correnson


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker