Re: Certified C compilers for safety-critical embedded systems
From: Randy Brukardt (randy_at_rrsoftware.com)
Date: 01/02/04
- Next message: Randy Brukardt: "Re: Enumeration representation"
- Previous message: Luke A. Guest: "Re: [No_Elaboration_Code] GNAT still generating rep_to_pos, why?"
- In reply to: Hyman Rosen: "Re: Certified C compilers for safety-critical embedded systems"
- Next in thread: Robert A Duff: "Re: Certified C compilers for safety-critical embedded systems"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 2 Jan 2004 14:47:01 -0600
"Hyman Rosen" <hyrosen@mail.com> wrote:
> Robert A Duff wrote:
> > I don't much like that "useful fiction". Seems more like a "strange
> > confusion", to me.
>
> That fiction combines with the ability to overload on return type such
> that you can have the same name (or literal) used as an enumerator for
> multiple types, and the compiler figures out which one is meant from
> context in most cases. It means that the ARM doesn't have to create a
> separate rule allowing and explaining this.
>
> But you already know that, right?
Bob better know that, or we'll have to revoke his language-lawyer license!
:-)
Randy.
- Next message: Randy Brukardt: "Re: Enumeration representation"
- Previous message: Luke A. Guest: "Re: [No_Elaboration_Code] GNAT still generating rep_to_pos, why?"
- In reply to: Hyman Rosen: "Re: Certified C compilers for safety-critical embedded systems"
- Next in thread: Robert A Duff: "Re: Certified C compilers for safety-critical embedded systems"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|