/* Reproducer for false positive from -Wanalyzer-deref-before-check
   seen on Linux kernel's block/bdev.c due to -fanalyzer mishandling
   inlined functions.  */

/* { dg-additional-options "-O2 -g -fno-delete-null-pointer-checks" } */

typedef unsigned char u8;
struct inode {
  void *i_mapping;
  u8 i_blkbits;
};
struct block_device {
  struct inode *bd_inode;
};
int sync_blockdev(struct block_device *bdev);
int set_blocksize(struct block_device *bdev, u8 size) {
  if (bdev->bd_inode->i_blkbits != size) { /* { dg-bogus "pointer 'bdev' is dereferenced here" } */
    sync_blockdev(bdev);
  }
  return 0;
}
extern int filemap_write_and_wait(void *);
int sync_blockdev(struct block_device *bdev) {
  if (!bdev) /* { dg-bogus "check of 'bdev' for NULL after already dereferencing it" } */
    return 0;
  return filemap_write_and_wait(bdev->bd_inode->i_mapping);
}