returns-clause error
ID0000649: This issue was created automatically from Mantis Issue 649. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000649 | Frama-C | Plug-in > jessie | public | 2010-12-23 | 2011-01-10 |
Reporter | evdenis | Assigned To | monate | Resolution | duplicate |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
When i write something like this:
//@ returns ppos == 0; if ( ppos == 0 ) return string + spos;
tester@ubuntu-fm:~/workspace/test2$ frama-c -jessie -jessie-atp gui alg_test.c [kernel] preprocessing with "gcc -C -E -I. -dD alg_test.c" [jessie] Starting Jessie translation [kernel] No code for function memcmp, default assigns generated [kernel] No code for function __builtin_alloca, default assigns generated [jessie] warning: abrupt clause(s) ignored [jessie] Producing Jessie files in subdir alg_test.jessie [jessie] File alg_test.jessie/alg_test.jc written. Segmentation Fault
Don't know all conditions when this error occurs.