/* Reduced/adapted from false positive from -Wanalyzer-free-of-non-heap
   seen on rdma-core.  */

#include <stddef.h>

#define check_types_match(expr1, expr2)			\
	((typeof(expr1) *)0 != (typeof(expr2) *)0)

#define container_of(member_ptr, containing_type, member)		\
	 ((containing_type *)						\
	  ((char *)(member_ptr)						\
	   - container_off(containing_type, member))			\
	  + check_types_match(*(member_ptr), ((containing_type *)0)->member))

#define container_off(containing_type, member)	\
	offsetof(containing_type, member)

struct ibv_device {
	/* [...snip...] */
};

struct verbs_device {
	struct ibv_device device; /* Must be first */
	/* [...snip...] */
	int placeholder;
};

struct mlx5_device {
	struct verbs_device verbs_dev;
	int placeholder;
};

static inline struct mlx5_device *to_mdev(struct ibv_device *ibdev)
{
	return container_of(ibdev, struct mlx5_device, verbs_dev.device);
}
  
static void mlx5_uninit_device(struct verbs_device *verbs_device)
{
        struct mlx5_device *dev = to_mdev(&verbs_device->device);

        __builtin_free(dev); /* { dg-bogus "not on the heap" } */
}