[binutils-gdb] libsframe: correct binary search for SFrame FDE

Indu Bhagat ibhagat@sourceware.org
Mon May 26 18:09:09 GMT 2025


https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=9d2a24349e23afe3ee5e6ac093ffca3901d39bc5

commit 9d2a24349e23afe3ee5e6ac093ffca3901d39bc5
Author: Jens Remus <jremus@linux.ibm.com>
Date:   Mon May 26 11:01:14 2025 -0700

    libsframe: correct binary search for SFrame FDE
    
    sframe_get_funcdesc_with_addr_internal erroneously returns the last FDE,
    if its function start address is lower than the searched for address.
    
    Simplify the binary search for a SFrame FDE for a given address.  Only
    return an FDE, if the searched for address is within the bounds of the
    FDE function start address and function size.
    
    libsframe/
            * sframe.c (sframe_get_funcdesc_with_addr_internal): Correct
            binary search for SFrame FDE.
    
    libsframe/testsuite/
            * libsframe.find/plt-findfre-1.c: Add test for out of range
            PLT6.
    
    Signed-off-by: Jens Remus <jremus@linux.ibm.com>

Diff:
---
 libsframe/sframe.c                                 | 17 +++++++----------
 libsframe/testsuite/libsframe.find/plt-findfre-1.c |  4 ++++
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/libsframe/sframe.c b/libsframe/sframe.c
index c1bc692829a..d16305d629b 100644
--- a/libsframe/sframe.c
+++ b/libsframe/sframe.c
@@ -1023,7 +1023,7 @@ sframe_get_funcdesc_with_addr_internal (sframe_decoder_ctx *ctx, int32_t addr,
 {
   sframe_header *dhp;
   sframe_func_desc_entry *fdp;
-  int low, high, cnt;
+  int low, high;
 
   if (ctx == NULL)
     return sframe_ret_set_errno (errp, SFRAME_ERR_INVAL);
@@ -1041,22 +1041,19 @@ sframe_get_funcdesc_with_addr_internal (sframe_decoder_ctx *ctx, int32_t addr,
   fdp = (sframe_func_desc_entry *) ctx->sfd_funcdesc;
   low = 0;
   high = dhp->sfh_num_fdes;
-  cnt = high;
   while (low <= high)
     {
       int mid = low + (high - low) / 2;
 
-      if (fdp[mid].sfde_func_start_address == addr)
+      /* Given sfde_func_start_address <= addr,
+	 addr - sfde_func_start_address must be positive.  */
+      if (fdp[mid].sfde_func_start_address <= addr
+	  && ((uint32_t)(addr - fdp[mid].sfde_func_start_address)
+	      < fdp[mid].sfde_func_size))
 	return fdp + mid;
 
       if (fdp[mid].sfde_func_start_address < addr)
-	{
-	  if (mid == (cnt - 1)) 	/* Check if it's the last one.  */
-	    return fdp + (cnt - 1);
-	  else if (fdp[mid+1].sfde_func_start_address > addr)
-	    return fdp + mid;
-	  low = mid + 1;
-	}
+	low = mid + 1;
       else
 	high = mid - 1;
     }
diff --git a/libsframe/testsuite/libsframe.find/plt-findfre-1.c b/libsframe/testsuite/libsframe.find/plt-findfre-1.c
index 60037fd67ea..89ca4661922 100644
--- a/libsframe/testsuite/libsframe.find/plt-findfre-1.c
+++ b/libsframe/testsuite/libsframe.find/plt-findfre-1.c
@@ -128,6 +128,10 @@ void test_plt_findfre (uint32_t plt_vaddr, uint32_t sframe_vaddr)
   TEST ("plt-findfre-1: Find last FRE in PLT4",
 	(err == 0 && sframe_fre_get_cfa_offset (dctx, &frep, &err) == 0x3));
 
+  /* Find no FRE for out of range PLT6.  */
+  err = sframe_find_fre (dctx, (plt_vaddr + 16*5 + 0x0 - sframe_vaddr), &frep);
+  TEST ("plt-findfre-1: Find no FRE for out of range PLT6", err != 0);
+
   sframe_encoder_free (&ectx);
   sframe_decoder_free (&dctx);
 }


More information about the Binutils-cvs mailing list