From f155bb5499a3f580c6252b0e7d216a17912880b3 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Thu, 25 Jul 2019 14:41:42 +0200
Subject: [PATCH] Try to find the reason for yet-another-compiler-bug

---
 p4src/minip4_solution.p4 | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

diff --git a/p4src/minip4_solution.p4 b/p4src/minip4_solution.p4
index 938fc43..707f074 100644
--- a/p4src/minip4_solution.p4
+++ b/p4src/minip4_solution.p4
@@ -132,27 +132,27 @@ control RealMain(
                 exit;                      /* no further v6 processing */
             }
         } else if(hdr.ipv4.isValid()) {
-            if(nat46.apply().hit) {
-                if(hdr.icmp.isValid()) {
-                    nat46_icmp_generic();
+            // if(nat46.apply().hit) {
+            //     if(hdr.icmp.isValid()) {
+            //         nat46_icmp_generic();
 
-                    if(hdr.icmp.type == ICMP_ECHO_REPLY) {
-                        hdr.icmp6.type = ICMP6_ECHO_REPLY;
-                    }
-                    if(hdr.icmp.type == ICMP_ECHO_REQUEST) {
-                        hdr.icmp6.type = ICMP6_ECHO_REQUEST;
-                    }
-                    }
-                if(hdr.udp.isValid()) {
-                    delta_udp_from_v4_to_v6
-                }
-                if(hdr.tcp.isValid()) {
-                    delta_tcp_from_v4_to_v6
-                }
+            //         if(hdr.icmp.type == ICMP_ECHO_REPLY) {
+            //             hdr.icmp6.type = ICMP6_ECHO_REPLY;
+            //         }
+            //         if(hdr.icmp.type == ICMP_ECHO_REQUEST) {
+            //             hdr.icmp6.type = ICMP6_ECHO_REQUEST;
+            //         }
+            //         }
+            //     if(hdr.udp.isValid()) {
+            //         delta_udp_from_v4_to_v6
+            //     }
+            //     if(hdr.tcp.isValid()) {
+            //         delta_tcp_from_v4_to_v6
+            //     }
 
-                v6_networks.apply();
-                exit;
-            }
+            //     v6_networks.apply();
+            //     exit;
+            // }
             v4_networks.apply();             /* regular routing, egress */
         }