search

TacOS-team / tacos

Système d'exploitation / Operating System
GNU General Public License v3.0
9 stars 4 forks source link

Ajouter attributs pour gcc #155

Closed MaximeCheramy closed 11 years ago

MaximeCheramy commented 12 years ago

D'après la page http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html , il existe un tas d'attributs dont certains servent à rajouter des vérifications mais d'autres (comme malloc) permettent de fournir à gcc des indications pour mieux optimiser le code.

MaximeCheramy commented 12 years ago

http://lwn.net/Articles/285332/

MaximeCheramy commented 11 years ago

J'ai fait le principal.