gcc/testsuite/gnat.dg/constant2_pkg1.ads

with Constant2_Pkg2; use Constant2_Pkg2;

package Constant2_Pkg1 is

  Val : constant Boolean := F1 and then F2;

end Constant2_Pkg1;