From: Manuel López-Ibáñez <manu@gcc.gnu.org>
Date: Sat, 5 May 2012 11:32:26 +0000 (+0000)
Subject: re PR c/43772 (Errant -Wlogical-op warning when testing limits)
X-Git-Tag: misc/gccgo-go1_1_2~3076
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8b5e75a5c666b19d286688578985bd24189146d6;p=thirdparty%2Fgcc.git

re PR c/43772 (Errant -Wlogical-op warning when testing limits)

2012-05-05  Manuel López-Ibáñez  <manu@gcc.gnu.org>

	PR c/43772
testsuite/
	* c-c++-common/pr43772.c: New.

From-SVN: r187195
---

diff --git a/gcc/testsuite/c-c++-common/pr43772.c b/gcc/testsuite/c-c++-common/pr43772.c
new file mode 100644
index 000000000000..8bf09a420f3a
--- /dev/null
+++ b/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!
+}