# { dg-options {-Wscope -fstropping=upper} }  #
(REF INT xx;
 (INT x; xx:= x; x := 3)) # { dg-warning "scope violation" }  #