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: SV: Re: MISRA C support for GCC?

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Robert Dewar <dewar at adacore dot com>
Cc: Joe Buck <Joe dot Buck at synopsys dot COM>, David Daney <ddaney at avtrex dot com>, fredrik at hederstierna dot com, Daniel Jacobowitz <drow at false dot org>, gcc at gcc dot gnu dot org
Date: 22 Nov 2005 00:29:44 +0100
Subject: Re: SV: Re: MISRA C support for GCC?
References: <hedersti_43822f5fd4937@webmail.hederstierna.com> <4382388D.5070603@avtrex.com> <43824134.6090706@adacore.com> <m3u0e5irfm.fsf@uniton.integrable-solutions.net> <438249B2.3010306@adacore.com> <20051121224921.GB21400@synopsys.com> <438250D7.7080108@adacore.com>

Robert Dewar <dewar@adacore.com> writes:

| You would do much better with a qualified tool to enforce the subset
| (GCC itself cannot conceivably be qualified).

I believe we're in agreement :-)

-- Gaby

References:
- SV: Re: MISRA C support for GCC?
  - From: Fredrik Hederstierna
- Re: SV: Re: MISRA C support for GCC?
  - From: David Daney
- Re: SV: Re: MISRA C support for GCC?
  - From: Robert Dewar
- Re: SV: Re: MISRA C support for GCC?
  - From: Gabriel Dos Reis
- Re: SV: Re: MISRA C support for GCC?
  - From: Robert Dewar
- Re: SV: Re: MISRA C support for GCC?
  - From: Joe Buck
- Re: SV: Re: MISRA C support for GCC?
  - From: Robert Dewar

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