From bf5009b544b7062972f2e4798cc06dafd69f4ebf Mon Sep 17 00:00:00 2001 From: mgrojo Date: Fri, 28 Mar 2025 18:38:22 +0100 Subject: [PATCH] Ada: fix initialization issue in examples Detected by ``` gnatprove -Pclient.gpr --level=4 -j12 ``` --- wrapper/Ada/tls_client.adb | 4 ++-- wrapper/Ada/tls_server.adb | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/wrapper/Ada/tls_client.adb b/wrapper/Ada/tls_client.adb index 9e872fccd..4cd56c08b 100644 --- a/wrapper/Ada/tls_client.adb +++ b/wrapper/Ada/tls_client.adb @@ -204,8 +204,8 @@ package body Tls_Client with SPARK_Mode is Output : WolfSSL.Write_Result; Result : WolfSSL.Subprogram_Result; - DTLS : Boolean; - PSK : Boolean; + DTLS : Boolean := False; + PSK : Boolean := False; begin Result := WolfSSL.Initialize; if Result /= Success then diff --git a/wrapper/Ada/tls_server.adb b/wrapper/Ada/tls_server.adb index e17af00a5..3f1b3dc8a 100644 --- a/wrapper/Ada/tls_server.adb +++ b/wrapper/Ada/tls_server.adb @@ -162,7 +162,7 @@ package body Tls_Server with SPARK_Mode is Ch : Character; Result : WolfSSL.Subprogram_Result; - DTLS, PSK : Boolean; + DTLS, PSK : Boolean := True; Shall_Continue : Boolean := True; Input : WolfSSL.Read_Result;