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: gcc 4.2 more strict check for "function called through a non-compatible type"

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Yuri Pudgorodsky <yur at ptci dot ru>
Cc: Mark Mitchell <mark at codesourcery dot com>, Andrew Haley <aph at redhat dot com>, Ian Lance Taylor <iant at google dot com>, gcc at gcc dot gnu dot org
Date: 07 Jul 2006 15:52:50 +0200
Subject: Re: gcc 4.2 more strict check for "function called through a non-compatible type"
References: <44AA67AE.4070509@ptci.ru> <m3lkr9e1h1.fsf@localhost.localdomain> <17578.43651.892156.272070@zebedee.pink> <m3d5cldsl8.fsf@localhost.localdomain> <17579.35051.492454.869315@zebedee.pink> <m3zmfocfb1.fsf@localhost.localdomain> <m3wtasytkb.fsf@localhost.localdomain> <44AC95B9.9000001@codesourcery.com> <17580.60592.276968.374029@zebedee.pink> <44ADB47F.6020904@codesourcery.com> <44AE24E0.3030004@ptci.ru>

Yuri Pudgorodsky <yur@ptci.ru> writes:

[...]

| The result of calling function pointer casted to sufficiently different
| type is
| a real example an undefined behavior.

As I said earlier, it is fruitless to try to impose an ordering on
the space of undefined behaviour.

-- Gaby

Follow-Ups:
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Yuri Pudgorodsky

References:
- gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Yuri Pudgorodsky
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Ian Lance Taylor
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Andrew Haley
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Ian Lance Taylor
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Andrew Haley
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Ian Lance Taylor
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Ian Lance Taylor
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Mark Mitchell
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Andrew Haley
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Mark Mitchell
- Re: gcc 4.2 more strict check for "function called through a non-compatible type"
  - From: Yuri Pudgorodsky

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