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

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187195 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 45 insertions, 0 deletions

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!
+}