hg: jdk/jdk: 8074817: Resolve disabled warnings for libverify

[shade at redhat.com]

Changeset: ab7c5483df44
Author:    shade
Date:      2019-03-11 12:39 +0100
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/ab7c5483df44

8074817: Resolve disabled warnings for libverify
Reviewed-by: erikj, alanb

! make/lib/CoreLibraries.gmk
! src/java.base/share/native/libverify/check_code.c
! src/java.base/share/native/libverify/check_format.c