[Bug c/14313] fail to warn of inconsistent prototype: const char * const vs. const char *

["wje at acm dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From wje at acm dot org  2004-02-27 14:09 -------
To illustrate that there may yet be a problem, I invoke
6.7.3/9 ...

"For two qualified types to be compatible, both shall have
the identically qualified version of a compatible type."

... and present the following silly modification to the
program, which still compiles without warning, even with
-Wall:

=== beginning of silly program
int CHRCMP(const char alpha, const char beta );
int CHRCMP(      char alpha,       char beta )
{
  while(alpha==beta)
  {
    if(alpha=='\0') return 0;

    alpha++; beta++;
  }
  return (alpha)-(beta);
}

int main(void) { return (CHRCMP('g','d')!=0); }
=== end of silly program
=== beginning of cbug1.i
# 1 "cbug1.c"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "cbug1.c"
int CHRCMP(const char alpha, const char beta );
int CHRCMP( char alpha, char beta )
{
  while(alpha==beta)
  {
    if(alpha=='\0') return 0;

    alpha++; beta++;
  }
  return (alpha)-(beta);
}

int main(void) { return (CHRCMP('g','d')!=0); }
=== end of cbug1.i
=== beginning of gcc -v -save-temps -Wall gbug1.c -o gbug1
Script started on Fri Feb 27 05:47:56 2004
bill:~/cbug$ gcc -v -save-temps -Wall cbug1.c -o cbug1
Reading specs from /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/specs
Configured with: ../gcc-3.2.3/configure --prefix=/usr --enable-shared
--enable-threads=posix --enable-__cxa_atexit --disable-checking --with-gnu-ld
--verbose --target=i486-slackware-linux --host=i486-slackware-linux
Thread model: posix
gcc version 3.2.3
 /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/cpp0 -lang-c -v -D__GNUC__=3
-D__GNUC_MINOR__=2 -D__GNUC_PATCHLEVEL__=3 -D__GXX_ABI_VERSION=102 -D__ELF__
-Dunix -D__gnu_linux__ -Dlinux -D__ELF__ -D__unix__ -D__gnu_linux__ -D__linux__
-D__unix -D__linux -Asystem=posix -D__NO_INLINE__ -D__STDC_HOSTED__=1 -Acpu=i386
-Amachine=i386 -Di386 -D__i386 -D__i386__ -D__tune_i486__ cbug1.c -Wall cbug1.i
GNU CPP version 3.2.3 (cpplib) (i386 Linux/ELF)
ignoring nonexistent directory "/usr/i486-slackware-linux/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/include
 /usr/include
End of search list.
 /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/cc1 -fpreprocessed cbug1.i -quiet
-dumpbase cbug1.c -Wall -version -o cbug1.s
GNU CPP version 3.2.3 (cpplib) (i386 Linux/ELF)
GNU C version 3.2.3 (i486-slackware-linux)
        compiled by GNU C version 3.2.3.
 /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../../../i486-slackware-linux/bin/as -V -Qy -o cbug1.o cbug1.s
GNU assembler version 2.14.90.0.6 (i486-slackware-linux) using BFD version
2.14.90.0.6 20030820
 /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/collect2 --eh-frame-hdr -m elf_i386
-dynamic-linker /lib/ld-linux.so.2 -o cbug1
/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../../crt1.o
/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../../crti.o
/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/crtbegin.o
-L/usr/lib/gcc-lib/i486-slackware-linux/3.2.3
-L/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../../../i486-slackware-linux/lib
-L/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../.. cbug1.o -lgcc -lgcc_eh
-lc -lgcc -lgcc_eh /usr/lib/gcc-lib/i486-slackware-linux/3.2.3/crtend.o
/usr/lib/gcc-lib/i486-slackware-linux/3.2.3/../../../crtn.o
bill:~/cbug$ echo $?
0
bill:~/cbug$ ./cbug1
bill:~/cbug$ echo $?
1
bill:~/cbug$ exit
Script done on Fri Feb 27 05:48:34 2004
=== end of gcc -v -save-temps -Wall gbug1.c -o gbug1

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14313