Commit302ac7f

committed

Add assertion to check the special size is sane before dereferencing it.

This seems useful to catch errors of the sort I just fixed, wherePageGetSpecialPointer is called before initializing the page.

1 parentfdf2885 commit302ac7fCopy full SHA for 302ac7f

File tree

-0

lines changed

-0

lines changed

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -304,6 +304,8 @@ typedef PageHeaderData *PageHeader;`
`304`	`304`	`#definePageGetSpecialPointer(page) \`
`305`	`305`	`( \`
`306`	`306`	`AssertMacro(PageIsValid(page)), \`
	`307`	`+AssertMacro(((PageHeader) (page))->pd_special <= BLCKSZ), \`
	`308`	`+AssertMacro(((PageHeader) (page))->pd_special >= SizeOfPageHeaderData), \`
`307`	`309`	`(char ) ((char ) (page) + ((PageHeader) (page))->pd_special) \`
`308`	`310`	`)`
`309`	`311`

Comments

(0)