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 (file)
index 0000000..8bf09a4
--- /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!
+}