Home | History | Annotate | Line # | Download | only in lint1
msg_346.c revision 1.2 
      1  1.2  rillig /*	$NetBSD: msg_346.c,v 1.2 2021/08/15 14:00:27 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_346.c"
      3  1.1  rillig 
      4  1.1  rillig // Test for message: call to '%s' effectively discards 'const' from argument [346]
      5  1.1  rillig 
      6  1.2  rillig typedef unsigned long size_t;
      7  1.2  rillig 
      8  1.2  rillig void* memchr(const void *, int, size_t);		/* C99 7.21.5.1 */
      9  1.2  rillig char *strchr(const char *, int);			/* C99 7.21.5.2 */
     10  1.2  rillig char* strpbrk(const char *, const char *);		/* C99 7.21.5.4 */
     11  1.2  rillig char* strrchr(const char *, int);			/* C99 7.21.5.5 */
     12  1.2  rillig char* strstr(const char *, const char *);		/* C99 7.21.5.7 */
     13  1.1  rillig 
     14  1.1  rillig void take_const_char_ptr(const char *);
     15  1.1  rillig void take_char_ptr(char *);
     16  1.1  rillig 
     17  1.1  rillig void
     18  1.1  rillig example(void)
     19  1.1  rillig {
     20  1.1  rillig 	const char *ccp = "const char *";
     21  1.1  rillig 	char *cp = "char *";
     22  1.1  rillig 
     23  1.1  rillig 	ccp = strchr(ccp, 'c');
     24  1.1  rillig 	ccp = strchr(cp, 'c');
     25  1.1  rillig 	/* expect+1: warning: call to 'strchr' effectively discards 'const' from argument [346] */
     26  1.1  rillig 	cp = strchr(ccp, 'c');
     27  1.1  rillig 	cp = strchr(cp, 'c');
     28  1.1  rillig 
     29  1.1  rillig 	take_const_char_ptr(strchr(ccp, 'c'));
     30  1.1  rillig 	take_const_char_ptr(strchr(cp, 'c'));
     31  1.1  rillig 	/* expect+1: warning: call to 'strchr' effectively discards 'const' from argument [346] */
     32  1.1  rillig 	take_char_ptr(strchr(ccp, 'c'));
     33  1.1  rillig 	take_char_ptr(strchr(cp, 'c'));
     34  1.1  rillig 
     35  1.1  rillig 	take_const_char_ptr(strchr("literal", 'c'));
     36  1.1  rillig 	/* expect+1: warning: call to 'strchr' effectively discards 'const' from argument [346] */
     37  1.1  rillig 	take_char_ptr(strchr("literal", 'c'));
     38  1.1  rillig }
     39  1.2  rillig 
     40  1.2  rillig void
     41  1.2  rillig all_functions(void)
     42  1.2  rillig {
     43  1.2  rillig 	/* TODO: expect+1: warning: call to 'memchr' effectively discards 'const' from argument [346] */
     44  1.2  rillig 	take_char_ptr(memchr("string", 'c', 7));
     45  1.2  rillig 	/* expect+1: warning: call to 'strchr' effectively discards 'const' from argument [346] */
     46  1.2  rillig 	take_char_ptr(strchr("string", 'c'));
     47  1.2  rillig 	/* TODO: expect+1: warning: call to 'strpbrk' effectively discards 'const' from argument [346] */
     48  1.2  rillig 	take_char_ptr(strpbrk("string", "c"));
     49  1.2  rillig 	/* TODO: expect+1: warning: call to 'strrchr' effectively discards 'const' from argument [346] */
     50  1.2  rillig 	take_char_ptr(strrchr("string", 'c'));
     51  1.2  rillig 	/* TODO: expect+1: warning: call to 'strstr' effectively discards 'const' from argument [346] */
     52  1.2  rillig 	take_char_ptr(strstr("string", "c"));
     53  1.2  rillig }
     54