Compilateurs
Dans un graphe de flot de contrôle, quelle combinaison de ce que représentent nœuds et flèches est correcte ?
- ALes nœuds sont les variables, les flèches l'ordre des affectations
- BLes nœuds sont les blocs de base, les flèches les branchements et transitions entre blocs
- CLes nœuds sont les fonctions, les flèches les inclusions entre fichiers
Afficher la réponse et l'explication
Réponse : B. Les nœuds sont les blocs de base, les flèches les branchements et transitions entre blocs
Le graphe de flot de contrôle a pour nœuds les blocs de base et pour flèches les transitions possibles d'un bloc vers ceux qui peuvent lui succéder (les deux destinations d'un branchement conditionnel, ou le passage direct au bloc suivant). Il sert à repérer les boucles par les flèches arrière ou à analyser d'où à où parviennent les valeurs des variables. Les relations d'appel entre fonctions sont représentées par un graphe d'appels distinct, et les inclusions de fichiers n'ont rien à voir.