Update inet:ntoa according to modern RFCs

2 files changed, 123 insertions, 59 deletions

diff --git a/lib/kernel/src/inet_parse.erl b/lib/kernel/src/inet_parse.erl
index 0f5dc40553..f150521e92 100644
--- a/lib/kernel/src/inet_parse.erl
+++ b/lib/kernel/src/inet_parse.erl
@@ -714,7 +714,13 @@ ntoa({0,0,0,0,0,0,0,1}) -> "::1";
 ntoa({0,0,0,0,0,0,A,B}) -> "::" ++ dig_to_dec(A) ++ "." ++ dig_to_dec(B);
 %% IPV4 non ipv6 host address
 ntoa({0,0,0,0,0,16#ffff,A,B}) -> 
-    "::FFFF:" ++ dig_to_dec(A) ++ "." ++ dig_to_dec(B);
+    "::ffff:" ++ dig_to_dec(A) ++ "." ++ dig_to_dec(B);
+%% RFC 2765 IPv4-translated address
+ntoa({0,0,0,0,16#ffff,0,A,B}) ->
+    "::ffff:0:" ++ dig_to_dec(A) ++ "." ++ dig_to_dec(B);
+%% RFC 6052 Well-known Prefix address
+ntoa({16#64,16#ff9b,0,0,0,0,A,B}) ->
+    "64:ff9b::" ++ dig_to_dec(A) ++ "." ++ dig_to_dec(B);
 ntoa({_,_,_,_,_,_,_,_}=T) ->
     %% Find longest sequence of zeros, at least 2, to replace with "::"
     ntoa(tuple_to_list(T), []);
@@ -780,9 +786,19 @@ dig_to_dec(X) ->
     integer_to_list((X bsr 8) band 16#ff) ++ "." ++
 	integer_to_list(X band 16#ff).
 
-%% Convert a integer to hex string
-dig_to_hex(X) ->
-    erlang:integer_to_list(X, 16).
+%% Convert a integer to hex string (lowercase)
+dig_to_hex(0) -> "0";
+dig_to_hex(X) when is_integer(X), 0 < X ->
+    dig_to_hex(X, "").
+%%
+dig_to_hex(0, Acc) -> Acc;
+dig_to_hex(X, Acc) ->
+    dig_to_hex(
+      X bsr 4,
+      [case X band 15 of
+           D when D < 10 -> D + $0;
+           D -> D - 10 + $a
+       end|Acc]).
 
 %%
 %% Count number of '.' in a name
diff --git a/lib/kernel/test/inet_SUITE.erl b/lib/kernel/test/inet_SUITE.erl
index 97f789b61c..1d4efe17a5 100644
--- a/lib/kernel/test/inet_SUITE.erl
+++ b/lib/kernel/test/inet_SUITE.erl
@@ -447,91 +447,126 @@ parse_hosts(Config) when is_list(Config) ->
     inet_parse:resolv(ResolvErr1).
 
 parse_address(Config) when is_list(Config) ->
-    V4Strict =
+    V4Reversable =
 	[{{0,0,0,0},"0.0.0.0"},
-	 {{1,2,3,4},"1.2.3.4"},
+         {{1,2,3,4},"1.2.3.4"},
 	 {{253,252,251,250},"253.252.251.250"},
 	 {{1,2,255,254},"1.2.255.254"}],
-    V6Strict =
+    V6Reversable =
 	[{{0,0,0,0,0,0,0,0},"::"},
+	 {{0,0,0,0,0,0,0,1},"::1"},
+	 {{0,0,0,0,0,0,0,2},"::0.0.0.2"},
 	 {{15,0,0,0,0,0,0,2},"f::2"},
-	 {{15,16#f11,0,0,0,0,256,2},"f:f11::0100:2"},
-	 {{0,0,0,0,0,0,0,16#17},"::17"},
-	 {{16#700,0,0,0,0,0,0,0},"0700::"},
-	 {{0,0,0,0,0,0,2,1},"::2:1"},
+	 {{15,16#f11,0,0,0,0,256,2},"f:f11::100:2"},
+	 {{16#700,0,0,0,0,0,0,0},"700::"},
+	 {{0,0,0,0,0,0,2,1},"::0.2.0.1"},
 	 {{0,0,0,0,0,3,2,1},"::3:2:1"},
 	 {{0,0,0,0,4,3,2,1},"::4:3:2:1"},
 	 {{0,0,0,5,4,3,2,1},"::5:4:3:2:1"},
 	 {{0,0,6,5,4,3,2,1},"::6:5:4:3:2:1"},
-	 {{0,7,6,5,4,3,2,1},"::7:6:5:4:3:2:1"},
+	 {{0,7,6,5,4,3,2,1},"0:7:6:5:4:3:2:1"},
 	 {{7,0,0,0,0,0,0,0},"7::"},
 	 {{7,6,0,0,0,0,0,0},"7:6::"},
 	 {{7,6,5,0,0,0,0,0},"7:6:5::"},
 	 {{7,6,5,4,0,0,0,0},"7:6:5:4::"},
 	 {{7,6,5,4,3,0,0,0},"7:6:5:4:3::"},
 	 {{7,6,5,4,3,2,0,0},"7:6:5:4:3:2::"},
-	 {{7,6,5,4,3,2,1,0},"7:6:5:4:3:2:1::"},
+	 {{7,6,5,4,3,2,1,0},"7:6:5:4:3:2:1:0"},
+	 {{0,0,6,5,4,3,0,0},"::6:5:4:3:0:0"},
+	 {{0,0,6,5,4,0,0,0},"0:0:6:5:4::"},
+	 {{8,0,0,5,4,0,0,1},"8::5:4:0:0:1"},
+	 {{8,0,0,5,0,0,0,1},"8:0:0:5::1"},
+	 {{0,7,6,5,4,3,2,0},"0:7:6:5:4:3:2:0"},
+	 {{0,0,6,5,4,3,0,0},"::6:5:4:3:0:0"},
+	 {{0,0,0,5,4,0,0,0},"::5:4:0:0:0"},
+	 {{0,0,0,0,4,0,0,0},"::4:0:0:0"},
+	 {{0,0,0,5,0,0,0,0},"0:0:0:5::"},
 	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,16#c66c,16#77,16#88},
-	  "c11:0c22:5c33:c440:55c0:c66c:77:0088"},
+	  "c11:c22:5c33:c440:55c0:c66c:77:88"},
+	 {{0,16#c22,16#5c33,16#c440,16#55c0,16#c66c,16#77,16#88},
+	  "0:c22:5c33:c440:55c0:c66c:77:88"},
 	 {{16#c11,0,16#5c33,16#c440,16#55c0,16#c66c,16#77,16#88},
-	  "c11::5c33:c440:55c0:c66c:77:0088"},
+	  "c11:0:5c33:c440:55c0:c66c:77:88"},
 	 {{16#c11,16#c22,0,16#c440,16#55c0,16#c66c,16#77,16#88},
-	  "c11:0c22::c440:55c0:c66c:77:0088"},
+	  "c11:c22:0:c440:55c0:c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,0,16#55c0,16#c66c,16#77,16#88},
-	  "c11:0c22:5c33::55c0:c66c:77:0088"},
+	  "c11:c22:5c33:0:55c0:c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,0,16#c66c,16#77,16#88},
-	  "c11:0c22:5c33:c440::c66c:77:0088"},
+	  "c11:c22:5c33:c440:0:c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,0,16#77,16#88},
-	  "c11:0c22:5c33:c440:55c0::77:0088"},
+	  "c11:c22:5c33:c440:55c0:0:77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,16#c66c,0,16#88},
-	  "c11:0c22:5c33:c440:55c0:c66c::0088"},
+	  "c11:c22:5c33:c440:55c0:c66c:0:88"},
+	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,16#c66c,16#77,0},
+	  "c11:c22:5c33:c440:55c0:c66c:77:0"},
+	 {{0,0,16#5c33,16#c440,16#55c0,16#c66c,16#77,16#88},
+	  "::5c33:c440:55c0:c66c:77:88"},
 	 {{16#c11,0,0,16#c440,16#55c0,16#c66c,16#77,16#88},
-	  "c11::c440:55c0:c66c:77:0088"},
+	  "c11::c440:55c0:c66c:77:88"},
 	 {{16#c11,16#c22,0,0,16#55c0,16#c66c,16#77,16#88},
-	  "c11:0c22::55c0:c66c:77:0088"},
+	  "c11:c22::55c0:c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,0,0,16#c66c,16#77,16#88},
-	  "c11:0c22:5c33::c66c:77:0088"},
+	  "c11:c22:5c33::c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,0,0,16#77,16#88},
-	  "c11:0c22:5c33:c440::77:0088"},
+	  "c11:c22:5c33:c440::77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,0,0,16#88},
-	  "c11:0c22:5c33:c440:55c0::0088"},
+	  "c11:c22:5c33:c440:55c0::88"},
+	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,16#c66c,0,0},
+	  "c11:c22:5c33:c440:55c0:c66c::"},
+	 {{0,0,0,16#c440,16#55c0,16#c66c,16#77,16#88},
+	  "::c440:55c0:c66c:77:88"},
 	 {{16#c11,0,0,0,16#55c0,16#c66c,16#77,16#88},
-	  "c11::55c0:c66c:77:0088"},
+	  "c11::55c0:c66c:77:88"},
 	 {{16#c11,16#c22,0,0,0,16#c66c,16#77,16#88},
-	  "c11:0c22::c66c:77:0088"},
+	  "c11:c22::c66c:77:88"},
 	 {{16#c11,16#c22,16#5c33,0,0,0,16#77,16#88},
-	  "c11:0c22:5c33::77:0088"},
+	  "c11:c22:5c33::77:88"},
 	 {{16#c11,16#c22,16#5c33,16#c440,0,0,0,16#88},
-	  "c11:0c22:5c33:c440::0088"},
+	  "c11:c22:5c33:c440::88"},
+	 {{16#c11,16#c22,16#5c33,16#c440,16#55c0,0,0,0},
+	  "c11:c22:5c33:c440:55c0::"},
+	 {{0,0,0,0,16#55c0,16#c66c,16#77,16#88},
+	  "::55c0:c66c:77:88"},
 	 {{16#c11,0,0,0,0,16#c66c,16#77,16#88},
-	  "c11::c66c:77:0088"},
+	  "c11::c66c:77:88"},
 	 {{16#c11,16#c22,0,0,0,0,16#77,16#88},
-	  "c11:0c22::77:0088"},
+	  "c11:c22::77:88"},
 	 {{16#c11,16#c22,16#5c33,0,0,0,0,16#88},
-	  "c11:0c22:5c33::0088"},
+	  "c11:c22:5c33::88"},
+	 {{16#c11,16#c22,16#5c33,16#c440,0,0,0,0},
+	  "c11:c22:5c33:c440::"},
+	 {{0,0,0,0,0,16#c66c,16#77,16#88},
+	  "::c66c:77:88"},
 	 {{16#c11,0,0,0,0,0,16#77,16#88},
-	  "c11::77:0088"},
+	  "c11::77:88"},
 	 {{16#c11,16#c22,0,0,0,0,0,16#88},
-	  "c11:0c22::0088"},
-	 {{0,0,0,0,0,65535,258,65534},"::FFFF:1.2.255.254"},
+	  "c11:c22::88"},
+	 {{16#c11,16#c22,16#5c33,0,0,0,0,0},
+	  "c11:c22:5c33::"},
+	 {{0,0,0,0,0,65535,258,65534},"::ffff:1.2.255.254"},
 	 {{16#ffff,16#ffff,16#ffff,16#ffff,16#ffff,16#ffff,16#ffff,16#ffff},
 	  "ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff"}
-	 |[{{D2,0,0,0,0,P,(D1 bsl 8) bor D2,(D3 bsl 8) bor D4},
-	    erlang:integer_to_list(D2, 16)++"::"++Q++S}
-	   || {{D1,D2,D3,D4},S} <- V4Strict,
-	      {P,Q} <- [{0,""},{16#17,"17:"},{16#ff0,"0ff0:"}]]],
+         |[{list_to_tuple(P++[(D1 bsl 8) bor D2,(D3 bsl 8) bor D4]),
+            Q++S}
+           || {{D1,D2,D3,D4},S} <-
+                  tl(V4Reversable),
+              {P,Q} <-
+                  [{[0,0,0,0,0,16#ffff],"::ffff:"},
+                   {[0,0,0,0,16#ffff,0],"::ffff:0:"},
+                   {[16#64,16#ff9b,0,0,0,0],"64:ff9b::"},
+                   {[0,0,0,0,0,0],"::"}]]],
     V4Sloppy =
 	[{{10,1,16#98,16#76},"10.0x019876"},
 	 {{8#12,1,8#130,8#321},"012.01.054321"},
-	 {{255,255,255,255},"255.255.255.0377"},
-	 {{255,255,255,255},"0Xff.000000000377.0x0000ff.255"},
-	 {{255,255,255,255},"255.255.65535"},
-	 {{255,255,255,255},"255.0xFF.0177777"},
-	 {{255,255,255,255},"255.16777215"},
-	 {{255,255,255,255},"00377.0XFFFFFF"},
-	 {{255,255,255,255},"4294967295"},
-	 {{255,255,255,255},"0xffffffff"},
-	 {{255,255,255,255},"00000000000037777777777"},
+	 {{252,253,254,255},"252.253.254.0377"},
+	 {{252,253,254,255},"0Xfc.000000000375.0x0000fe.255"},
+	 {{252,253,254,255},"252.253.65279"},
+	 {{252,253,254,255},"252.0xFD.0177377"},
+	 {{252,253,254,255},"252.16645887"},
+	 {{252,253,254,255},"00374.0XFDFEFF"},
+	 {{252,253,254,255},"4244504319"},
+	 {{252,253,254,255},"0xfcfdfeff"},
+	 {{252,253,254,255},"00000000000037477377377"},
 	 {{16#12,16#34,16#56,16#78},"0x12345678"},
 	 {{16#12,16#34,16#56,16#78},"0x12.0x345678"},
 	 {{16#12,16#34,16#56,16#78},"0x12.0X34.0x5678"},
@@ -543,8 +578,13 @@ parse_address(Config) when is_list(Config) ->
 	 {{0,0,0,0},"0.00.0.0"},
 	 {{0,0,0,0},"0.0.000000000000.0"}],
     V6Sloppy =
-	[{{0,0,0,0,0,65535,(D1 bsl 8) bor D2,(D3 bsl 8) bor D4},S}
-	 || {{D1,D2,D3,D4},S} <- V4Strict++V4Sloppy],
+        [{{16#a,16#b,16#c,16#0,16#0,16#d,16#e,16#f},"A:B:C::d:e:f"}]
+        ++
+        [{{P,0,0,0,0,D2,(D1 bsl 8) bor D2,(D3 bsl 8) bor D4},
+          Q++erlang:integer_to_list(D2, 16)++":"++S}
+         || {{D1,D2,D3,D4},S} <- V4Reversable,
+            {P,Q} <-
+                [{16#2001,"2001::"},{16#177,"177::"},{16#ff0,"Ff0::"}]],
     V4Err =
 	["0.256.0.1",
 	 "1.2.3.4.5",
@@ -588,28 +628,36 @@ parse_address(Config) when is_list(Config) ->
 	 "fec0::fFfF:127.0.0.1."],
     t_parse_address
       (parse_ipv6_address,
-       V6Strict++V6Sloppy++V6Err++V4Err),
+       false,
+       V6Reversable++V6Sloppy++V6Err++V4Err),
     t_parse_address
       (parse_ipv6strict_address,
-       V6Strict++V6Err++V4Err++[S || {_,S} <- V6Sloppy]),
+       true,
+       V6Reversable++V6Err++V4Err),
     t_parse_address
       (parse_ipv4_address,
-       V4Strict++V4Sloppy++V4Err++V6Err++[S || {_,S} <- V6Strict]),
+       false,
+       V4Reversable++V4Sloppy++V4Err++V6Err++[S || {_,S} <- V6Reversable]),
     t_parse_address
       (parse_ipv4strict_address,
-       V4Strict++V4Err++V6Err++[S || {_,S} <- V4Sloppy++V6Strict]).
+       true,
+       V4Reversable++V4Err++V6Err++[S || {_,S} <- V4Sloppy++V6Reversable]).
 
-t_parse_address(Func, []) ->
+t_parse_address(Func, _Reversable, []) ->
     io:format("~p done.~n", [Func]),
     ok;
-t_parse_address(Func, [{Addr,String}|L]) ->
+t_parse_address(Func, Reversable, [{Addr,String}|L]) ->
     io:format("~p = ~p.~n", [Addr,String]),
     {ok,Addr} = inet:Func(String),
-    t_parse_address(Func, L);
-t_parse_address(Func, [String|L]) ->
+    case Reversable of
+        true ->String = inet:ntoa(Addr);
+        false -> ok
+    end,
+    t_parse_address(Func, Reversable, L);
+t_parse_address(Func, Reversable, [String|L]) ->
     io:format("~p.~n", [String]),
     {error,einval} = inet:Func(String),
-    t_parse_address(Func, L).
+    t_parse_address(Func, Reversable, L).
 
 parse_strict_address(Config) when is_list(Config) ->
     {ok, {127,0,0,1}} =