déboguer du code optimisé

  • Article

Remarque

Les boîtes de dialogue et les commandes de menu affichées peuvent différer de celles décrites dans l'Aide selon les paramètres actifs ou le mode d'édition. Pour modifier vos paramètres, choisissez Paramètres d'importation et d'exportation dans le menu Outils . Pour plus d’informations, consultez Réinitialiser tous les paramètres.

Remarque

L’option de compilateur /Zo (Enhance Optimized Debugging) (introduite dans Visual Studio mise à jour 3) génère des informations de débogage plus détaillées pour le code optimisé (projets qui ne sont pas générés avec l’option de compilateur /Od. Consultez Options /O (Optimiser le code)). Cela inclut la prise en charge améliorée pour le débogage des variables locales et des fonctions inline.

La fonctionnalité Modifier et continuer est désactivée quand l’option de compilateur /Zo est utilisée.

Lorsque le compilateur optimise le code, il repositionne et réorganise les instructions. Il permet ainsi d'obtenir un code compilé plus efficace. En raison de cette réorganisation, le débogueur ne peut pas toujours identifier le code source qui correspond à un jeu d'instructions.

L'optimisation peut affecter :

  • Les variables locales, qui peuvent être supprimées par l'optimiseur ou être déplacées vers des emplacements que le débogueur ne comprend pas.

  • Des positions à l'intérieur d'une fonction, qui sont modifiées lorsque l'optimiseur fusionne des blocs de code.

  • Les noms de fonctions pour les trames de la pile des appels, qui peuvent être erronés si l’optimiseur fusionne deux fonctions.

    Les trames qui s'affichent sur la pile des appels sont presque toujours correctes, à condition toutefois que vous ayez des symboles pour toutes les trames. Les trames de la pile des appels seront incorrectes en cas d'altération de la pile, ou si certaines fonctions sont écrites en langage assembleur, ou encore s'il y a des trames de système d'exploitation sans correspondance avec les symboles figurant dans la pile des appels.

    Les variables globales et statiques s'affichent toujours correctement. C'est également le cas pour les dispositions de structures. Si un pointeur désigne une structure et que la valeur de ce pointeur est correcte, chaque variable membre de la structure affichera la valeur correcte.

    En raison de ces limitations, vous devez effectuer le débogage en utilisant si possible une version non optimisée de votre programme. Par défaut, l’optimisation est désactivée dans la configuration Debug d’un programme C++, et activée dans la configuration Release.

    Mais un bogue peut apparaître uniquement dans une version optimisée d'un programme. Dans ce cas, vous devez déboguer le code optimisé.

Pour activer l'optimisation dans une configuration de build Debug

  1. Lorsque vous créez un projet, sélectionnez la cible Win32 Debug. Utilisez la cible Win32 Debug jusqu’à ce que votre programme soit entièrement débogué et que vous soyez prêt à générer une cible Win32 Release. Le compilateur n'optimise pas la cible Win32 Debug.

  2. Sélectionnez le projet dans l’Explorateur de solutions.

  3. Dans le menu Affichage, cliquez sur Pages de propriétés.

  4. Dans la boîte de dialogue Pages de propriétés, vérifiez que Debug est sélectionné dans la liste déroulante Configuration.

  5. Dans la vue Dossiers sur le côté gauche, sélectionnez le dossier C/C++.

  6. Sous le dossier C++, sélectionnez Optimization.

  7. Dans la liste des propriétés affichée à droite, recherchez Optimization. Le paramètre en regard de la propriété indique probablement Disabled (/Od). Sélectionnez une des autres options (Minimum Size``(/O1), Maximum Speed``(/O2), Full Optimization``(/Ox) ou Custom).

  8. Si vous avez choisi l'option Custom pour Optimization, vous pouvez maintenant définir des options pour l'une des autres propriétés affichées dans la liste des propriétés.

  9. Sélectionnez le nœud Propriétés de configuration, C/C++, Ligne de commande de la page de propriétés du projet, puis ajoutez (/Zo) à la zone de texte Options supplémentaires.

    Avertissement

    Ajouter /Zo désactive Modifier & Continuer.

    Quand vous déboguez du code optimisé, examinez la fenêtre Code Machine pour voir quelles instructions sont réellement créées et exécutées. Lorsque vous définissez des points d'arrêt, n'oubliez pas qu'ils peuvent se déplacer avec les instructions. Considérons par exemple le code suivant :

for (x=0; x<10; x++)

Supposons que vous définissez un point d'arrêt sur cette ligne. Vous pouvez supposer que le point d'arrêt sera atteint 10 fois ; mais si le code est optimisé, il ne sera atteint qu'une seule fois. Cela est dû au fait que la première instruction affecte la valeur 0 à x. Le compilateur reconnaît que l'opération doit être effectuée une seule fois et la sort de la boucle. Le point d'arrêt est déplacé en même temps. Les instructions qui comparent et incrémentent x restent à l'intérieur de la boucle. Quand vous affichez la fenêtre Code Machine, l’unité de progression est automatiquement définie sur Instruction pour un contrôle renforcé, ce qui est utile quand vous exécutez le code optimisé pas à pas.

Contenu connexe