Stefan Krah added the comment:

I'm convinced that this is a false positive:

    size_t wcstombs(char *dest, const wchar_t *src, size_t n);

We have: 

     1) buf[0] = *wstr and buf[1] = 0.

So:

     2) wcstombs(NULL, buf, 0) <= 4.


Then the man page says:

   "... the  programmer  should  make  sure  n  is  greater  or  equal  to
    wcstombs(NULL,src,0)+1."


In this case, wcstombs(NULL, buf, 0) + 1 <= 5 and we call:

    wcstombs(char *dest, const wchar_t *src, 16);

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue15930>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to