This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, PR 57748] Check for out of bounds access
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Bernd Edlinger <bernd dot edlinger at hotmail dot de>, Martin Jambor <mjambor at suse dot cz>
- Date: Thu, 24 Oct 2013 10:37:24 +0200
- Subject: Re: [PATCH, PR 57748] Check for out of bounds access
- Authentication-results: sourceware.org; auth=none
- References: <DUB122-W396D54115D70C9FF68A8D2E43C0 at phx dot gbl> <DUB122-W209385567C3551814F6331E4020 at phx dot gbl> <CAFiYyc3PWncBNCA4eG41FZOa6mObYU25NjV95H4QXUyRzLakvA at mail dot gmail dot com>
> if bitregion_start/end are used after the adjust_address call then they have
> to be adjusted (or bitpos left in place). In fact why we apply byte-parts
> of bitpos here only if offset != 0 is weird.
Presumably to be able to do arithmetic on symbols when the offset is variable,
which can save one addition in the final code.
--
Eric Botcazou