Message ID | 20190812090251.GA22670@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Prevent crash in Is_Reachable | expand |
--- gcc/ada/libgnat/a-cbmutr.adb +++ gcc/ada/libgnat/a-cbmutr.adb @@ -1767,10 +1767,8 @@ package body Ada.Containers.Bounded_Multiway_Trees is (Container : Tree; From, To : Count_Type) return Boolean is - Idx : Count_Type; - + Idx : Count_Type'Base := From; begin - Idx := From; while Idx >= 0 loop if Idx = To then return True;