Home | History | Annotate | Line # | Download | only in lint1 
      1  1.4  rillig /*	$NetBSD: msg_364.c,v 1.4 2024/08/31 06:57:31 rillig Exp $	*/
      2  1.1  rillig # 3 "msg_364.c"
      3  1.1  rillig 
      4  1.1  rillig // Test for message: missing bit position after '%.*s' [364]
      5  1.1  rillig 
      6  1.1  rillig /*
      7  1.3  rillig  * The conversions 'b', 'f' and 'F' require a bit position as their first
      8  1.1  rillig  * argument.
      9  1.1  rillig  */
     10  1.1  rillig 
     11  1.1  rillig /* lint1-extra-flags: -X 351 */
     12  1.1  rillig 
     13  1.1  rillig typedef typeof(sizeof(0)) size_t;
     14  1.1  rillig typedef unsigned long long uint64_t;
     15  1.1  rillig 
     16  1.4  rillig int snprintb(char *, size_t, const char *, uint64_t);
     17  1.1  rillig 
     18  1.1  rillig void
     19  1.1  rillig example(unsigned u32)
     20  1.1  rillig {
     21  1.1  rillig 	char buf[64];
     22  1.1  rillig 
     23  1.1  rillig 	/* expect+4: warning: missing bit position after 'b' [364] */
     24  1.1  rillig 	snprintb(buf, sizeof(buf),
     25  1.1  rillig 	    "\177\020"
     26  1.1  rillig 	    "b",
     27  1.1  rillig 	    u32);
     28  1.1  rillig 
     29  1.2  rillig 	/* expect+5: warning: empty description in 'b\007' [367] */
     30  1.1  rillig 	/* expect+4: warning: missing '\0' at the end of 'b\007' [366] */
     31  1.1  rillig 	snprintb(buf, sizeof(buf),
     32  1.1  rillig 	    "\177\020"
     33  1.1  rillig 	    "b\007",
     34  1.1  rillig 	    u32);
     35  1.1  rillig }
     36