Dans son cas oui. Le prouver dans un cas plus général non.
Code :
- #include "bar.hpp" // declaration de bar
- struct S
- {
- S( int i )
- {
- bar( i_ );
- i_ = i;
- }
- int i_;
- };
|
Si le compilateur ne peut pas prouver que bar est "pure", l'optimisation échouera.
Citation :
la résolution des dépendance peut donc se faire directement au niveau assembleur
|
? (je ne vois pas comment le résultat d'une optimisation peut prouver quoi que ce soit)
Message édité par ++fab le 25-11-2006 à 11:33:43