This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH][ubsan] Add VLA bound instrumentation
- From: Marek Polacek <polacek at redhat dot com>
- To: Mike Stump <mikestump at comcast dot net>
- Cc: Jason Merrill <jason at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 31 Oct 2013 10:40:17 +0100
- Subject: Re: [PATCH][ubsan] Add VLA bound instrumentation
- Authentication-results: sourceware.org; auth=none
- References: <20131025165803 dot GF27400 at redhat dot com> <526AB5CC dot 60408 at redhat dot com> <20131025190356 dot GG27400 at redhat dot com> <526AC0C9 dot 1050003 at redhat dot com> <20131030145253 dot GB31396 at redhat dot com> <52712C29 dot 3010206 at redhat dot com> <20131030161504 dot GC31396 at redhat dot com> <8CFC1A6E-0922-4F40-A9D4-14C2E9F8E848 at comcast dot net> <20131030221548 dot GD31396 at redhat dot com> <CAAB8033-6CBB-4579-AE9E-56F07E60F5C9 at comcast dot net>
On Wed, Oct 30, 2013 at 03:41:53PM -0700, Mike Stump wrote:
> The dtors only run, after the ctors run. We mark where the ctors finish spot, as the _start_ of the region for which we have to clean up. Really, the cleanup has nothing to do with ctors. You can have dtors, without any ctors, or ctors, without any dtors.
> decl d;
> transforms into:
> <----- start of lifetime of the storage for d
> <----- start of lifetime of the fully constructed object d
> <----- end of lifetime of fully constructed object d
> <----- end of the storage of d
> CLEANUP_STMT documents when the region protected by the cleanup starts. One want to describe that region is, the end of the ctors, if any, else after the storage is allocated. In the above, that is the second <---- spot.
> Now, in the trees, the above is decl d; ctors; CLEANUP_STMT (s, dtors, d).
> s is the region for which the cleanups are active for. dtors is the cleanup to perform on transfer out of that region, and d is the decl related to the actions in dtors.
I see now. Thanks very much, Mike.