Open vprevosto opened 7 years ago
Some Frama-C plug-ins resort to the notion of attribute annotation, either ad'hoc or through (an abuse of) the Microsoft-inspired __decl_spec attribute. Should this be described officially in the manual?
__decl_spec
Some Frama-C plug-ins resort to the notion of attribute annotation, either ad'hoc or through (an abuse of) the Microsoft-inspired
__decl_specattribute. Should this be described officially in the manual?