...
The volatile qualifier should be used with caution in mission-critical situations. Always make sure code that assumes certain behavior when using the volatile qualifier is inspected at the object code level for compiler bugs.
Rule | Severity | Likelihood |
|---|
Detectable | Repairable | Priority | Level |
|---|---|---|---|
DCL17-C | Medium | Probable |
No | No | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite |
| 134 S | Partially implemented |
Bibliography
| [Eide and Regehr] | "Volatiles Are Miscompiled, and What to Do about It" |
| [ISO/IEC 9899:2011] | Subclause 6.7.3, "Type Qualifiers" |
...
...