This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [RFC] Get rid of awkward semantics for subtypes

From: Dave Korn <dave dot korn dot cygwin at googlemail dot com>
To: Robert Dewar <dewar at adacore dot com>
Cc: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, ebotcazou at adacore dot com, gcc at gcc dot gnu dot org
Date: Fri, 10 Apr 2009 04:49:39 +0100
Subject: Re: [RFC] Get rid of awkward semantics for subtypes
References: <200904100003.28892.ebotcazou@adacore.com> <10904100146.AA05777@vlsi1.ultra.nyu.edu> <49DEB609.20507@adacore.com>

Robert Dewar wrote:

> The compiler
> should not assume validity unless it can prove that the value is
> actually in the declared range in my opinion.

  We could add a "-fstrict-validity=" by analogy to "-fstrict-alias=".  Ada
and C would want to have different default settings I imagine.

    cheers,
      DaveK

Follow-Ups:
- Re: [RFC] Get rid of awkward semantics for subtypes
  - From: Robert Dewar

References:
- [RFC] Get rid of awkward semantics for subtypes
  - From: Eric Botcazou
- Re: [RFC] Get rid of awkward semantics for subtypes
  - From: Richard Kenner
- Re: [RFC] Get rid of awkward semantics for subtypes
  - From: Robert Dewar

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]