Viewing file:  pr104560-1.c (1.09 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* 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" } */
}
|
