From: Tonu Naks <naks@adacore.com>
Date: Fri, 7 Feb 2025 12:55:30 +0000 (+0000)
Subject: ada: Add explicit null pointer check in C.Strings.Update
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35260dd303a1f5c911310f87e7ddc3f1b580abbd;p=thirdparty%2Fgcc.git

ada: Add explicit null pointer check in C.Strings.Update

gcc/ada/ChangeLog:

	* libgnat/i-cstrin.adb: null pointer check in Update
---

diff --git a/gcc/ada/libgnat/i-cstrin.adb b/gcc/ada/libgnat/i-cstrin.adb
index 974ba3a0e8c..82795627a29 100644
--- a/gcc/ada/libgnat/i-cstrin.adb
+++ b/gcc/ada/libgnat/i-cstrin.adb
@@ -281,6 +281,11 @@ is
       Index : chars_ptr := Item + Offset;
 
    begin
+      --  Check for null pointer as mandated by the RM.
+      if Item = Null_Ptr then
+         raise Dereference_Error;
+      end if;
+
       if Check and then Offset + Chars'Length  > Strlen (Item) then
          raise Update_Error;
       end if;