Merci de nous partager ces détails d’implémentation, je trouve ça toujours fascinant.
A noter que pour que ton explication sur foo() et a tienne la route, il y a un présupposé que a est un entier. Sinon, a -= 1 pourrait ouvrir des valeurs un peu négatives.
Sinon, comment Pythran réalise-t-il l'exploration des fils que tu décris ? J'imagine que c'est à coup de graphe qui transportent les intervalles de variable d'un noeud à un autre, avec des possibles fils qui se rejoignent ? Ou tu fais juste une synthèse à la fin de tous les fils pour voir ce qui s'en dégage ?
# Sympa
Posté par Philippe F (site web personnel) . En réponse au journal Analyse de plage de valeurs dans Pythran. Évalué à 3.
Merci de nous partager ces détails d’implémentation, je trouve ça toujours fascinant.
A noter que pour que ton explication sur foo() et a tienne la route, il y a un présupposé que a est un entier. Sinon, a -= 1 pourrait ouvrir des valeurs un peu négatives.
Sinon, comment Pythran réalise-t-il l'exploration des fils que tu décris ? J'imagine que c'est à coup de graphe qui transportent les intervalles de variable d'un noeud à un autre, avec des possibles fils qui se rejoignent ? Ou tu fais juste une synthèse à la fin de tous les fils pour voir ce qui s'en dégage ?