/* { dg-do link } */
/* { dg-options "-fstrict-overflow" } */

#include <limits.h>

extern void link_error(void);
int main()
{
  int i0, i1;
  if (!(i0 + 1 < i1 + 1 == i0 < i1))
    link_error ();
  if (!(i0 + INT_MIN < i1 - INT_MAX == i0 < i1 - -1))
    link_error ();
  return 0;
}