FilesExpand file tree

 main

/

InconsistentNullnessTesting.cpp

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

10 lines (10 loc) · 306 Bytes

 main

/

InconsistentNullnessTesting.cpp

Copy path

Top

File metadata and controls

• Code
• Blame

10 lines (10 loc) · 306 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

void* f() {

block = (MyBlock *)malloc(sizeof(MyBlock));

if (block) { //correct: block is checked for nullness here

block->id = NORMAL_BLOCK_ID;

}

//...

/* make sure data-portion is null-terminated */

block->data[BLOCK_SIZE - 1] = '\0'; //wrong: block not checked for nullness here

return block;

}