view gcc/testsuite/gcc.dg/format/pr79210.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
line wrap: on
line source

/* { dg-do compile } */
/* { dg-options "-Wformat -Wformat-signedness" } */

__attribute__((format(printf, 3, 4)))
void dev_printk(const char *level, void *dev, const char *fmt, ...);

#define lpfc_vport_param_init(attr)	\
void lpfc_##attr##_init(void *vport, unsigned int val) \
{ \
	dev_printk("3", (void *)0, \
		   "0423 lpfc_"#attr" attribute cannot be set to %d, "\
		   "allowed range is [0, 1]\n", val); \
}

#define LPFC_VPORT_ATTR_R(name, desc) \
unsigned int lpfc_##name;\
lpfc_vport_param_init(name)\

LPFC_VPORT_ATTR_R(peer_port_login,
		  "Allow peer ports on the same physical port to login to each "
		  "other.");

/* { dg-warning "6: format .%d. expects argument of type .int., but argument 4 has type .unsigned int. " "" { target *-*-* } .-12 } */