From d39e883e08686351e116254f34bede3a71196730 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Tue, 10 May 2011 14:01:54 +0200
Subject: [PATCH] Filter outputs removed by memalloc

---
 compiler/obc/c/cgen.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/obc/c/cgen.ml b/compiler/obc/c/cgen.ml
index e1e4566..21a50f6 100644
--- a/compiler/obc/c/cgen.ml
+++ b/compiler/obc/c/cgen.ml
@@ -71,7 +71,9 @@ let output_names_list sig_info =
     | Some n -> n
     | None -> Error.message no_location Error.Eno_unnamed_output
   in
-  List.map remove_option sig_info.node_outputs
+  let outputs = List.filter
+    (fun ad -> not (Linearity.is_linear ad.a_linearity)) sig_info.node_outputs in
+    List.map remove_option outputs
 
 let is_stateful n =
   try