Faux, un if ne provoque pas une rupture de flot : c'est juste un sommet de graphe ouvrant sur deux branches.
Dans le langage utilisé en interne par le compilateur pour l'analyse de flot, tu as : le test, read, write, loop, plus quelques primitives comme la soustraction, la division, la porte et, etc...
Tu les trouveras dans le répertoire "codelife" du code source du compilateur.
break et continue sont des ruptures de flot car ils ne sont pas représentables avec les primitives ainsi définies. De même pour les exceptions.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: beaucoup de blabla, peu d'info
Posté par Ontologia (site web personnel) . En réponse au journal Retour sur le Isaac Meeting 2008. Évalué à 5.
Dans le langage utilisé en interne par le compilateur pour l'analyse de flot, tu as : le test, read, write, loop, plus quelques primitives comme la soustraction, la division, la porte et, etc...
Tu les trouveras dans le répertoire "codelife" du code source du compilateur.
break et continue sont des ruptures de flot car ils ne sont pas représentables avec les primitives ainsi définies. De même pour les exceptions.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker