sigsetjmp and siglongjmp in setjmp.h
ID0002135: This issue was created automatically from Mantis Issue 2135. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002135 | Frama-C | Kernel > libc | public | 2015-06-25 | 2017-05-23 |
| Reporter | mansour | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | N/A |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
Hello,
This patch adds the function prototypes of sigsetjmp and siglongjmp to the header setjmp.h.
The type definition of sigjmp_buf is like jmp_buf but one character longer.