nico/master-thesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Try to find the reason for yet-another-compiler-bug

Browse source
This commit is contained in:
Nico Schottelius 2019-07-25 14:41:42 +02:00
parent 7bba816f2c
commit f155bb5499
1 changed files with 19 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
p4src/minip4_solution.p4
View file

@ -132,27 +132,27 @@ control RealMain(
exit; /* no further v6 processing */ exit; /* no further v6 processing */
} }
} else if(hdr.ipv4.isValid()) { } else if(hdr.ipv4.isValid()) {
if(nat46.apply().hit) { // if(nat46.apply().hit) {
if(hdr.icmp.isValid()) { // if(hdr.icmp.isValid()) {
nat46_icmp_generic(); // nat46_icmp_generic();
if(hdr.icmp.type == ICMP_ECHO_REPLY) { // if(hdr.icmp.type == ICMP_ECHO_REPLY) {
hdr.icmp6.type = ICMP6_ECHO_REPLY; // hdr.icmp6.type = ICMP6_ECHO_REPLY;
} // }
if(hdr.icmp.type == ICMP_ECHO_REQUEST) { // if(hdr.icmp.type == ICMP_ECHO_REQUEST) {
hdr.icmp6.type = ICMP6_ECHO_REQUEST; // hdr.icmp6.type = ICMP6_ECHO_REQUEST;
} // }
} // }
if(hdr.udp.isValid()) { // if(hdr.udp.isValid()) {
delta_udp_from_v4_to_v6 // delta_udp_from_v4_to_v6
} // }
if(hdr.tcp.isValid()) { // if(hdr.tcp.isValid()) {
delta_tcp_from_v4_to_v6 // delta_tcp_from_v4_to_v6
} // }
v6_networks.apply(); // v6_networks.apply();
exit; // exit;
} // }
v4_networks.apply(); /* regular routing, egress */ v4_networks.apply(); /* regular routing, egress */
} }