[Bug c/22429] New: -1073741824 <= n && n <= 1073741823 is true where n is 1073741824

[akr at m17n dot org]

I found that following program exits with 1 instead of 0.

% cat z.c
int f(int n)
{
  if (-1073741824 <= n && n <= 1073741823)
    return 1;
  return 0;
}

int main()
{
  return f(1073741824);
}
% /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/gcc -v -O  z.c    
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../gcc/configure
--prefix=/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449
--enable-languages=c
Thread model: posix
gcc version 4.1.0 20050712 (experimental)
 /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1
-quiet -v -iprefix
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/
z.c -quiet -dumpbase z.c -mtune=pentiumpro -auxbase z -O -version -o /tmp/cc3anyqv.s
ignoring nonexistent directory
"/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../i686-pc-linux-gnu/include"
ignoring duplicate directory
"/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/include"
ignoring nonexistent directory
"/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/include
 /usr/local/include
 /home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/include
 /usr/include
End of search list.
GNU C version 4.1.0 20050712 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.1.0 20050712 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: cab36206423b633931a3bd43d355747c
 as -V -Qy -o /tmp/ccUCeuxU.o /tmp/cc3anyqv.s
GNU assembler version 2.15 (i386-linux) using BFD version 2.15
 /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../libexec/gcc/i686-pc-linux-gnu/4.1.0/collect2
--eh-frame-hdr -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 /usr/lib/crt1.o
/usr/lib/crti.o
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/crtbegin.o
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc
-L/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/../../..
-L/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/../../..
/tmp/ccUCeuxU.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed
-lgcc_s --no-as-needed
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/crtend.o
/usr/lib/crtn.o
% ./a.out                                                                   
zsh: exit 1     ./a.out

It exists with 0 if optimization is disabled.

% /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/gcc z.c        
% ./a.out

-- 
           Summary: -1073741824 <= n && n <= 1073741823 is true where n is
                    1073741824
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: akr at m17n dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


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