Printing of function types causes a stack overflow
ID0001280: This issue was created automatically from Mantis Issue 1280. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001280 | Frama-C | Plug-in > wp | public | 2012-10-13 | 2012-10-13 |
| Reporter | sjw | Assigned To | correnson | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Oxygen-20120901 | Target Version | - | Fixed in Version | - |
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) tcauses 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.