gcc/testsuite/algol68/compile/implicit-widening-1.a68

# { dg-options "-Wextensions -fstropping=upper" }  #

# This program shall compile without warning, because
  widening from INT to REAL is legal in the strict language,
  since they have the same size.  #

BEGIN BOOL cond;
      REAL x, y;
      y + (cond | x | 10)
END