Skip to content

recursive logic integer function definition causes error

ID0002050: This issue was created automatically from Mantis Issue 2050. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002050 Frama-Clang Plug-in > clang public 2015-01-15 2015-02-14
Reporter Jochen Assigned To virgile Resolution open
Priority normal Severity minor Reproducibility always
Platform Neon-20140301+dev-STANCE-Jan2015 OS - OS Version xubuntu-cfe13.10
Product Version - Target Version - Fixed in Version -

Description :

output:

431.cpp:2:56: unknown identifier 'fac' Now output intermediate result

The problem disappears when the file is renamed to "431.c".

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information