Skip to content

Commit abb1987

Browse files
committed
Bug hunting; Fixed testrunner
1 parent 214f90c commit abb1987

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

test/testbughuntingchecks.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -158,13 +158,14 @@ class TestBughuntingChecks : public TestFixture {
158158
"[test.cpp:9]: (error) Cannot determine that 'buf[i]' is initialized\n",
159159
errout.str());
160160
}
161+
161162
void arrayIndexOutOfBounds6() {
162163
check("int buf[5];\n"
163164
"uint16_t foo(size_t offset) {\n"
164165
" uint8_t c = (offset & 0xc0) >> 6;\n"
165166
" return 2 * buf[c];\n"
166167
"}");
167-
ASSERT_EQUALS("", errout.str());
168+
ASSERT_EQUALS("[test.cpp:4]: (error) Array index out of bounds, cannot determine that c is less than 5\n", errout.str());
168169
}
169170

170171
void arrayIndexOutOfBoundsDim1() { // itc test case

0 commit comments

Comments
 (0)