MAJ sujet + réordonnancement de deux fonctions dans cgf_liveness pour être raccord avec le sujet.

src/cfg_liveness.ml

@@ -8,13 +8,6 @@ let rec vars_in_expr (e: expr) =
    (* TODO *)
    Set.empty
 
-(* [live_cfg_node node live_after] renvoie l'ensemble des variables vivantes
-   avant un nœud [node], étant donné l'ensemble [live_after] des variables
-   vivantes après ce nœud. *)
-let live_cfg_node (node: cfg_node) (live_after: string Set.t) =
-   (* TODO *)
-   live_after
-
 (* [live_after_node cfg n] renvoie l'ensemble des variables vivantes après le
    nœud [n] dans un CFG [cfg]. [lives] est l'état courant de l'analyse,
    c'est-à-dire une table dont les clés sont des identifiants de nœuds du CFG et
@@ -23,6 +16,13 @@ let live_after_node cfg n (lives: (int, string Set.t) Hashtbl.t) : string Set.t
    (* TODO *)
    Set.empty
 
+(* [live_cfg_node node live_after] renvoie l'ensemble des variables vivantes
+   avant un nœud [node], étant donné l'ensemble [live_after] des variables
+   vivantes après ce nœud. *)
+let live_cfg_node (node: cfg_node) (live_after: string Set.t) =
+   (* TODO *)
+   live_after
+
 (* [live_cfg_nodes cfg lives] effectue une itération du calcul de point fixe.
 
    Cette fonction met à jour l'état de l'analyse [lives] et renvoie un booléen