array bounds checking

"dz" <>
26 Nov 2005 00:23:47 -0500

          From comp.compilers

Related articles
array bounds checking (dz) (2005-11-26)
Re: array bounds checking (2005-11-27)
Re: array bounds checking (Sudesh Chandna, Noida) (2005-11-29)
Re: array bounds checking (glen herrmannsfeldt) (2005-12-03)
Re: array bounds checking (2005-12-08)
Re: Array bounds checking (1990-06-15)
| List of all articles for this month |

From: "dz" <>
Newsgroups: comp.compilers
Date: 26 Nov 2005 00:23:47 -0500
Keywords: debug, question
Posted-Date: 26 Nov 2005 00:23:47 EST

      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.

Any ideas/pointers to any papers ...
[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]

Post a followup to this message

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