Snippets for cbmc 6.10.0 from FreeBSD 150arm64

Sourced from https://pkg-status.freebsd.org/ampere5/data/latest-per-pkg/cbmc/6.10.0_2/150arm64-default.log.

• __libcheck.c:314:32: warning: unknown warning group '-Wnonnull-compare', ignored [-Wunknown-warning-option]
    314 | #pragma GCC diagnostic ignored "-Wnonnull-compare"
        |                                ^