Fix PR2506 by being a bit more careful about reverse fact propagation when

[oota-llvm.git] / test / FrontendAda / emit_var.ads

-- RUN: %llvmgcc -c %s
with Ada.Finalization;
package Emit_Var is
   type Search_Type is new Ada.Finalization.Controlled with null record;
end;