[Bug ada/82642] New: Dynamic predicate for a record should give a warning

[porton at narod dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82642

            Bug ID: 82642
           Summary: Dynamic predicate for a record should give a warning
           Product: gcc
           Version: 7.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: porton at narod dot ru
  Target Milestone: ---

Dynamic predicate for a non-private record should give a warning, because Ada
RM does not warrant consistency when a field is assigned (or changed in other
way).

So the following program should produce a warning:

procedure Main is
  type T is
    record
      A, B: Integer;
    end record
  with Dynamic_Predicate => A+B=0;
begin
   null;
end;