From 8b5e75a5c666b19d286688578985bd24189146d6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Manuel=20L=C3=B3pez-Ib=C3=A1=C3=B1ez?= <manu@gcc.gnu.org>
Date: Sat, 5 May 2012 11:32:26 +0000
Subject: [PATCH] re PR c/43772 (Errant -Wlogical-op warning when testing
 limits)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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
---
 gcc/testsuite/c-c++-common/pr43772.c | 45 ++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 gcc/testsuite/c-c++-common/pr43772.c

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