Syntax error because of pause instruction in inline assebly
ID0001573: This issue was created automatically from Mantis Issue 1573. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001573 | Frama-C | Kernel | public | 2013-11-27 | 2014-03-13 |
| Reporter | valor | Assigned To | yakobowski | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
Presence of construction like
static inline void cpu_pause(void) { asm volatile ("pause":::); }
lead to syntax error
Adding some "changed" (like <:::"memory");>) improves the situation
Additional Information :
GUI output
Current source was: :0 The full backtrace is: Raised at file "hashtbl.ml", line 353, characters 18-27 Called from file "hashtbl.ml", line 361, characters 22-38