Merge from trunk (r239915 to r240230)fortran-dev

git-svn-id: https://gcc.gnu.org/svn/gcc/branches/fortran-dev@240290 138bc75d-0d04-0410-961f-82ee72b054a4

41 files changed, 109 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/torture/20131115-1.c b/gcc/testsuite/gcc.dg/torture/20131115-1.c
index edb05f04c47..d0cdfa5a220 100644
--- a/gcc/testsuite/gcc.dg/torture/20131115-1.c
+++ b/gcc/testsuite/gcc.dg/torture/20131115-1.c
@@ -1,4 +1,5 @@
 /* { dg-do run } */
+/* { dg-skip-if "RAM usage too large" { "avr-*-*" } } */
 
 struct S { int i; };
 __attribute__((const, noinline, noclone))
diff --git a/gcc/testsuite/gcc.dg/torture/float128-builtin.c b/gcc/testsuite/gcc.dg/torture/float128-builtin.c
index e4a50ceecff..ea3497ce9a8 100644
--- a/gcc/testsuite/gcc.dg/torture/float128-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float128-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128-floath.c b/gcc/testsuite/gcc.dg/torture/float128-floath.c
index 68147c35fb6..7b5b046e79f 100644
--- a/gcc/testsuite/gcc.dg/torture/float128-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float128-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128-ieee-nan.c b/gcc/testsuite/gcc.dg/torture/float128-ieee-nan.c
index 5dfbff9e8ad..2f3b5c0d95e 100644
--- a/gcc/testsuite/gcc.dg/torture/float128-ieee-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float128-ieee-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float128 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float128-tg-2.c b/gcc/testsuite/gcc.dg/torture/float128-tg-2.c
index c7a32b176e8..eda98e58bbc 100644
--- a/gcc/testsuite/gcc.dg/torture/float128-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float128-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128-tg.c b/gcc/testsuite/gcc.dg/torture/float128-tg.c
index c1b6398d92b..d252ec545c1 100644
--- a/gcc/testsuite/gcc.dg/torture/float128-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float128-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128x-builtin.c b/gcc/testsuite/gcc.dg/torture/float128x-builtin.c
index 2e6bbaf28df..d75bc55a7dd 100644
--- a/gcc/testsuite/gcc.dg/torture/float128x-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float128x-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128x_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128x-floath.c b/gcc/testsuite/gcc.dg/torture/float128x-floath.c
index 0fc3db2744f..3ac96ce3177 100644
--- a/gcc/testsuite/gcc.dg/torture/float128x-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float128x-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128x_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128x-nan.c b/gcc/testsuite/gcc.dg/torture/float128x-nan.c
index ad0052fc434..c3eaf1218df 100644
--- a/gcc/testsuite/gcc.dg/torture/float128x-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float128x-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float128x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128x_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float128x-tg-2.c b/gcc/testsuite/gcc.dg/torture/float128x-tg-2.c
index e5c1b0c6989..31fa34eec7e 100644
--- a/gcc/testsuite/gcc.dg/torture/float128x-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float128x-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128x_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float128x-tg.c b/gcc/testsuite/gcc.dg/torture/float128x-tg.c
index 0dc1e0f6823..751a3c64ffa 100644
--- a/gcc/testsuite/gcc.dg/torture/float128x-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float128x-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float128x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float128x_runtime } */
 
 #define WIDTH 128
diff --git a/gcc/testsuite/gcc.dg/torture/float16-builtin.c b/gcc/testsuite/gcc.dg/torture/float16-builtin.c
index 43f9b1936b5..4efe177c566 100644
--- a/gcc/testsuite/gcc.dg/torture/float16-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float16-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float16 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float16_runtime } */
 
 #define WIDTH 16
diff --git a/gcc/testsuite/gcc.dg/torture/float16-floath.c b/gcc/testsuite/gcc.dg/torture/float16-floath.c
index 6857c2e9aa8..3748f4197df 100644
--- a/gcc/testsuite/gcc.dg/torture/float16-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float16-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float16 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float16_runtime } */
 
 #define WIDTH 16
diff --git a/gcc/testsuite/gcc.dg/torture/float16-nan.c b/gcc/testsuite/gcc.dg/torture/float16-nan.c
index 859f30ca414..34cc50bdc20 100644
--- a/gcc/testsuite/gcc.dg/torture/float16-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float16-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float16 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float16_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float16-tg-2.c b/gcc/testsuite/gcc.dg/torture/float16-tg-2.c
index 4236018b0e7..ecb0fe448d1 100644
--- a/gcc/testsuite/gcc.dg/torture/float16-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float16-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float16 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float16_runtime } */
 
 #define WIDTH 16
diff --git a/gcc/testsuite/gcc.dg/torture/float16-tg.c b/gcc/testsuite/gcc.dg/torture/float16-tg.c
index 39e8285b6e8..56c4e31394e 100644
--- a/gcc/testsuite/gcc.dg/torture/float16-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float16-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float16 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float16_runtime } */
 
 #define WIDTH 16
diff --git a/gcc/testsuite/gcc.dg/torture/float32-builtin.c b/gcc/testsuite/gcc.dg/torture/float32-builtin.c
index fc14ad1e112..9b510266f82 100644
--- a/gcc/testsuite/gcc.dg/torture/float32-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float32-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32-floath.c b/gcc/testsuite/gcc.dg/torture/float32-floath.c
index 795cb21082f..dd503bef51f 100644
--- a/gcc/testsuite/gcc.dg/torture/float32-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float32-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32-nan.c b/gcc/testsuite/gcc.dg/torture/float32-nan.c
index c46b388a1c3..58ee6004a21 100644
--- a/gcc/testsuite/gcc.dg/torture/float32-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float32-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float32 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float32-tg-2.c b/gcc/testsuite/gcc.dg/torture/float32-tg-2.c
index 80441d720e2..c205ba2319e 100644
--- a/gcc/testsuite/gcc.dg/torture/float32-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float32-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32-tg.c b/gcc/testsuite/gcc.dg/torture/float32-tg.c
index da480ca87c5..b5ea060f8a2 100644
--- a/gcc/testsuite/gcc.dg/torture/float32-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float32-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32x-builtin.c b/gcc/testsuite/gcc.dg/torture/float32x-builtin.c
index 3a5c2d0aa67..71eb7e2cdc8 100644
--- a/gcc/testsuite/gcc.dg/torture/float32x-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float32x-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32x_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32x-floath.c b/gcc/testsuite/gcc.dg/torture/float32x-floath.c
index 49e7ba4ed3a..ef2005ca74c 100644
--- a/gcc/testsuite/gcc.dg/torture/float32x-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float32x-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32x_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32x-nan.c b/gcc/testsuite/gcc.dg/torture/float32x-nan.c
index 770499d0660..d976d379732 100644
--- a/gcc/testsuite/gcc.dg/torture/float32x-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float32x-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float32x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32x_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float32x-tg-2.c b/gcc/testsuite/gcc.dg/torture/float32x-tg-2.c
index 897130a280f..6179aba7cdd 100644
--- a/gcc/testsuite/gcc.dg/torture/float32x-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float32x-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32x_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float32x-tg.c b/gcc/testsuite/gcc.dg/torture/float32x-tg.c
index 9f9a3bf8682..b65b03f558b 100644
--- a/gcc/testsuite/gcc.dg/torture/float32x-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float32x-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float32x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float32x_runtime } */
 
 #define WIDTH 32
diff --git a/gcc/testsuite/gcc.dg/torture/float64-builtin.c b/gcc/testsuite/gcc.dg/torture/float64-builtin.c
index ff3cb295676..413768443ae 100644
--- a/gcc/testsuite/gcc.dg/torture/float64-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float64-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64-floath.c b/gcc/testsuite/gcc.dg/torture/float64-floath.c
index a03d2e7dab7..3fb443b3726 100644
--- a/gcc/testsuite/gcc.dg/torture/float64-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float64-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64-nan.c b/gcc/testsuite/gcc.dg/torture/float64-nan.c
index 5f1a2e8f933..51a6437fd52 100644
--- a/gcc/testsuite/gcc.dg/torture/float64-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float64-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float64 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float64-tg-2.c b/gcc/testsuite/gcc.dg/torture/float64-tg-2.c
index dddaa82122a..d0e4316611f 100644
--- a/gcc/testsuite/gcc.dg/torture/float64-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float64-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64-tg.c b/gcc/testsuite/gcc.dg/torture/float64-tg.c
index c970d53b5ec..a7188312d57 100644
--- a/gcc/testsuite/gcc.dg/torture/float64-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float64-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64 } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64x-builtin.c b/gcc/testsuite/gcc.dg/torture/float64x-builtin.c
index 2f95e8ad6d7..cc78ac011ad 100644
--- a/gcc/testsuite/gcc.dg/torture/float64x-builtin.c
+++ b/gcc/testsuite/gcc.dg/torture/float64x-builtin.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64x_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64x-floath.c b/gcc/testsuite/gcc.dg/torture/float64x-floath.c
index 11eddc7036b..7fce730f386 100644
--- a/gcc/testsuite/gcc.dg/torture/float64x-floath.c
+++ b/gcc/testsuite/gcc.dg/torture/float64x-floath.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64x_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64x-nan.c b/gcc/testsuite/gcc.dg/torture/float64x-nan.c
index 3d6496dee02..30e24b11e57 100644
--- a/gcc/testsuite/gcc.dg/torture/float64x-nan.c
+++ b/gcc/testsuite/gcc.dg/torture/float64x-nan.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "-fsignaling-nans" } */
 /* { dg-add-options float64x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64x_runtime } */
 /* { dg-require-effective-target fenv_exceptions } */
 
diff --git a/gcc/testsuite/gcc.dg/torture/float64x-tg-2.c b/gcc/testsuite/gcc.dg/torture/float64x-tg-2.c
index 647d10406f0..8c3e4bdb802 100644
--- a/gcc/testsuite/gcc.dg/torture/float64x-tg-2.c
+++ b/gcc/testsuite/gcc.dg/torture/float64x-tg-2.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64x_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/float64x-tg.c b/gcc/testsuite/gcc.dg/torture/float64x-tg.c
index ac14675a669..54a566c1e30 100644
--- a/gcc/testsuite/gcc.dg/torture/float64x-tg.c
+++ b/gcc/testsuite/gcc.dg/torture/float64x-tg.c
@@ -2,6 +2,7 @@
 /* { dg-do run } */
 /* { dg-options "" } */
 /* { dg-add-options float64x } */
+/* { dg-add-options ieee } */
 /* { dg-require-effective-target float64x_runtime } */
 
 #define WIDTH 64
diff --git a/gcc/testsuite/gcc.dg/torture/pr70421.c b/gcc/testsuite/gcc.dg/torture/pr70421.c
index 8f97acd42be..1aa4d534599 100644
--- a/gcc/testsuite/gcc.dg/torture/pr70421.c
+++ b/gcc/testsuite/gcc.dg/torture/pr70421.c
@@ -1,5 +1,6 @@
 /* PR target/70421 */
 /* { dg-do run } */
+/* { dg-require-effective-target int32plus } */
 /* { dg-additional-options "-Wno-psabi -w" } */
 
 typedef unsigned V __attribute__ ((vector_size (64)));
diff --git a/gcc/testsuite/gcc.dg/torture/pr77436.c b/gcc/testsuite/gcc.dg/torture/pr77436.c
new file mode 100644
index 00000000000..513867db7ce
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr77436.c
@@ -0,0 +1,11 @@
+/* { dg-do run } */
+
+int main()
+{
+  unsigned short sum = 0;
+  for (short x = -(__SHRT_MAX__ -1); x <= (__SHRT_MAX__ -1); x++)
+    sum += x;
+  if (sum != 0)
+    __builtin_abort ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/torture/pr77479.c b/gcc/testsuite/gcc.dg/torture/pr77479.c
new file mode 100644
index 00000000000..354ae5986ce
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr77479.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-fstrict-overflow -ftree-vrp" } */
+
+void
+vr (int of, unsigned char bw)
+{
+  int d1;
+  int lm = 0;
+
+  for (d1 = 0; d1 < 3; ++d1)
+    {
+      const int vl = 2;
+
+      while (bw < vl)
+	{
+	}
+      if (bw != vl)
+	lm -= vl;
+    }
+  while (++of < 1)
+    {
+      lm /= bw;
+      of += lm;
+    }
+}
diff --git a/gcc/testsuite/gcc.dg/torture/pr77514.c b/gcc/testsuite/gcc.dg/torture/pr77514.c
new file mode 100644
index 00000000000..464841ce364
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr77514.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+
+void
+m1 (char l0, char e8, int hw)
+{
+  char *rs = &l0;
+
+yu:
+  l0 = 1;
+  while (l0 != 0)
+    {
+      l0 = -l0;
+      l0 += (*rs ^ (l0 &= 1));
+    }
+  for (;;)
+    {
+      if (hw != 0)
+	goto yu;
+      rs = &e8;
+    }
+}
diff --git a/gcc/testsuite/gcc.dg/torture/pr77605.c b/gcc/testsuite/gcc.dg/torture/pr77605.c
new file mode 100644
index 00000000000..3f1a26bc8d5
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr77605.c
@@ -0,0 +1,15 @@
+/* { dg-do run } */
+
+int a, b, c[2][8];
+
+int main ()
+{
+  for (a = 0; a < 8; a++)
+    for (b = 0; b < 2; b++)
+      c[b][a] = c[b][b + 6] ^ 1;
+
+  if (c[0][7] != 0) 
+    __builtin_abort ();
+
+  return 0; 
+}