Re: array bounds checking

nmm1@cus.cam.ac.uk (Nick Maclaren)
27 Nov 2005 00:35:43 -0500

          From comp.compilers
Related articles
array bounds checking drizzle76@gmail.com (dz) (2005-11-26)
Re: array bounds checking nmm1@cus.cam.ac.uk (2005-11-27)
Re: array bounds checking sudeshc@noida.hcltech.com (Sudesh Chandna, Noida) (2005-11-29)
Re: array bounds checking gah@ugcs.caltech.edu (glen herrmannsfeldt) (2005-12-03)
Re: array bounds checking neal.wang@gmail.com (2005-12-08)
Re: Array bounds checking pardo@june.cs.washington.edu (1990-06-15)
| List of all articles for this month |
From: nmm1@cus.cam.ac.uk (Nick Maclaren)
Newsgroups: comp.compilers
Date: 27 Nov 2005 00:35:43 -0500
Organization: University of Cambridge, England
References: 05-11-121
Keywords: debug
Posted-Date: 27 Nov 2005 00:35:43 EST

  dz <drizzle76@gmail.com> wrote:
> I am wondering if anybody knew how array bounds checks worked when
>they are references through multiple indirections of pointers. Eg: p =
>A ; q= &p; ***q+100=0; So q is referencing A. And hence I would like
>a check inserted there.
> Do array bounds checking handle these cases, because this
>also would need pointer analysis.


If you are talking about C, array bounds checking is effectively
hopeless. If you were talking about Fortran, it is fairly easy.


>[Depends on the language and implementation. If it has "fat" pointers
>that contain type info, then the bounds can be in the pointers, or
>pointed to by fields in the pointers. -John]


The main alternative approach is to have arrays implemented as structures,
including the bounds and data pointer.




Regards,
Nick Maclaren.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.