Non, j'ai même pas utilisé le pragma
Pour GCC, c'est les options par défaut de TIGCC, comme précisé dans le ./1

Pollux : est-ce que le compilateur embarqué optimise moins certaines choses ?