Tomáš Klačko wrote:
> Hi,
> 
> lint main.c reports:
> malformed format string
>     fprintf             main.c(8)
> 
> // main.c
> #include <wchar.h>
> #include <stdio.h>
> 
> int main(int argc, char* argv[])
> {
>     wchar_t SI='A';
> 
>     (void) fprintf(stdout, "%wc\n", SI);
> 
>     return 0;
> }
> //
> 
> but the printf(3s) manpage documents the wc conversion specifier:
>      wc      The int argument is converted to  a  wide  character
>              (wchar_t),  and  the  resulting  wide  character  is
>              printed.
> 
> Where is the error?

lint also reports false format errors on %ws for wide character strings.
6306003 lint fails to recognize valid %ws printf conversion specifier

(which is closed as a dup of an open RFE to provide more flexible format
 string checking in lint).

-- 
        -Alan Coopersmith-        [email protected]
         Oracle Solaris Platform Engineering: X Window System

_______________________________________________
tools-compilers mailing list
[email protected]

Reply via email to