/tmp/vbt_oob_harness.c: In function 'intel_bios_is_valid_vbt':
/tmp/vbt_oob_harness.c:263:18: warning: comparison of distinct pointer types lacks a cast
  (void)(&start__ == &size__); \
                  ^~
/tmp/vbt_oob_harness.c:268:3: note: in expansion of macro 'range_overflows'
  (range_overflows(start, size, max))
   ^~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:288:6: note: in expansion of macro 'range_overflows_t'
  if (range_overflows_t(size_t,
      ^~~~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:264:18: warning: comparison of distinct pointer types lacks a cast
  (void)(&start__ == &max__); \
                  ^~
/tmp/vbt_oob_harness.c:268:3: note: in expansion of macro 'range_overflows'
  (range_overflows(start, size, max))
   ^~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:288:6: note: in expansion of macro 'range_overflows_t'
  if (range_overflows_t(size_t,
      ^~~~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:263:18: warning: comparison of distinct pointer types lacks a cast
  (void)(&start__ == &size__); \
                  ^~
/tmp/vbt_oob_harness.c:268:3: note: in expansion of macro 'range_overflows'
  (range_overflows(start, size, max))
   ^~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:297:6: note: in expansion of macro 'range_overflows_t'
  if (range_overflows_t(size_t, vbt->bdb_offset, bdb->bdb_size, size)) {
      ^~~~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:264:18: warning: comparison of distinct pointer types lacks a cast
  (void)(&start__ == &max__); \
                  ^~
/tmp/vbt_oob_harness.c:268:3: note: in expansion of macro 'range_overflows'
  (range_overflows(start, size, max))
   ^~~~~~~~~~~~~~~
/tmp/vbt_oob_harness.c:297:6: note: in expansion of macro 'range_overflows_t'
  if (range_overflows_t(size_t, vbt->bdb_offset, bdb->bdb_size, size)) {
      ^~~~~~~~~~~~~~~~~