Commit 3bf9a4fc authored by Léo Gourdin's avatar Léo Gourdin
Browse files

Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into kvx-work

parents 537e20b6 25a3de1e
......@@ -696,7 +696,6 @@ let expanse (sb : superblock) code pm =
was_exp := false;
let inst = get_some @@ PTree.get n code in
(if !Clflags.option_fexpanse_rtlcond then
debug "We are checking node %d\n" (p2i n);
match inst with
(* Expansion of conditions - Ocmp *)
| Iop (Ocmp (Ccomp c), a1 :: a2 :: nil, dest, succ) ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment