diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/pr43772.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/pr43772.c | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/pr43772.c b/gcc-4.9/gcc/testsuite/c-c++-common/pr43772.c new file mode 100644 index 000000000..8bf09a420 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/pr43772.c @@ -0,0 +1,45 @@ +/* { dg-do compile } */ +/* { dg-options "-Wlogical-op -Wtype-limits" } */ +#include <limits.h> +long long +emacs_lseek (long long offset) +{ + return -1-9223372036854775807LL <= offset && offset <= 9223372036854775807LL; +} + +long long +foo (long long offset) +{ + return -1-9223372036854775807LL > offset && offset > 9223372036854775807LL; +} + +long long +foo3 (long long offset) +{ + return -1-9223372036854775807LL > offset && offset < 9223372036854775807LL; +} + +long long +foo2 (long long offset) +{ + if (-1-9223372036854775807LL <= offset) return 0; + if (offset <= 9223372036854775807LL) return 0; + if (-1-9223372036854775807LL > offset) return 0; + if (offset > 9223372036854775807LL) return 0; + return 1; +} + +# define BOT INT_MIN +# define TOP INT_MAX + +long long get_intmax(void); +int get_int(void); +extern void do_something(void); +int main(void) +{ + int i = get_int(); + long long x = get_intmax(); + i = (i > BOT && i < TOP); //OK + i = (i >= BOT+1 && i <= TOP-1); //OK + i = (i >= BOT && i <= TOP); //Oops! +} |