This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] UBSan unsafely uses VRP
- From: Marek Polacek <polacek at redhat dot com>
- To: Marat Zakirov <m dot zakirov at samsung dot com>
- Cc: Yury Gribov <y dot gribov at samsung dot com>, Jakub Jelinek <jakub at redhat dot com>, GCC Mailing List <gcc at gcc dot gnu dot org>, Richard Biener <richard dot guenther at gmail dot com>
- Date: Wed, 12 Nov 2014 11:06:27 +0100
- Subject: Re: [RFC] UBSan unsafely uses VRP
- Authentication-results: sourceware.org; auth=none
- References: <5462170F dot 5040102 at samsung dot com> <20141111141521 dot GE5026 at tucnak dot redhat dot com> <54631D7F dot 80301 at samsung dot com> <20141112084550 dot GF29791 at redhat dot com> <546330CA dot 6010001 at samsung dot com>
On Wed, Nov 12, 2014 at 01:04:58PM +0300, Marat Zakirov wrote:
>
> On 11/12/2014 11:45 AM, Marek Polacek wrote:
> >Yes, but as said above, VRP is only run with >-O2 and -Os.
> You meant >= -O2?
Yes.
Marek