In function 'test':
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:47:nn: warning: function is marked with __attribute__((cpychecker_negative_result_sets_exception)) but can return -1 without setting an exception [enabled by default]
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:40:nn: note: when considering range: -0x80000000 <= value <= 41 at:     if (i == 42) {
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:40:nn: note: taking False path at:     if (i == 42) {
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:47:nn: note: reaching:         return -1; /* failure */
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:47:nn: note: returning
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:47:nn: note: found 1 similar trace(s) to this
tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c:39:nn: note: graphical error report for function 'test' written out to 'tests/cpychecker/refcounts/attributes/sets-exception-on-nonzero-return/incorrect-marking/input.c.test-refcount-errors.html'
