analyzer: Fix PR analyzer/101980
[official-gcc.git] / gcc / testsuite / gnat.dg / socket2.adb
blob2ca5288fb7774c7312cae3e5f1daf6e90786ecc5
1 -- { dg-do run }
2 with GNAT.Sockets;
3 procedure Socket2 is
4 Address : GNAT.Sockets.Sock_Addr_Type;
5 Server_Socket : GNAT.Sockets.Socket_Type;
6 begin
7 Address.Addr := GNAT.Sockets.Any_Inet_Addr;
8 Address.Port := 16#1234#;
9 GNAT.Sockets.Create_Socket (Server_Socket);
10 GNAT.Sockets.Set_Socket_Option
11 (Server_Socket,
12 GNAT.Sockets.Socket_Level,
13 (GNAT.Sockets.Reuse_Address, True));
14 GNAT.Sockets.Bind_Socket (Server_Socket, Address);
15 GNAT.Sockets.Close_Socket (Server_Socket);
16 end Socket2;