INADA Naoki added the comment: Thanks. It seems coverity doesn't understand assert(j >= 0); Can I tell it to coverity from source code? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue28042> _______________________________________