[Bug fortran/71967] New: Protected and private specified at the same time and the symbol is accessible

[vladimir.fuka at gmail dot com]

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

            Bug ID: 71967
           Summary: Protected and private specified at the same time and
                    the symbol is accessible
           Product: gcc
           Version: 5.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vladimir.fuka at gmail dot com
  Target Milestone: ---

This program compiles

module m
 protected :: k
 private :: k

 integer k
end module

 use m
 print *, k
end

but I believe it should not.