0001280: Printing of function types causes a stack overflow

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001280

Frama-C

Plug-in > wp

public

2012-10-13 04:16

Reporter

sjw

Assigned To

correnson

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Product Version

Frama-C Oxygen-20120901

Target Version

Fixed in Version

Summary

0001280: Printing of function types causes a stack overflow

Description

This 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.

Tags

No 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