NotificationsYou must be signed in to change notification settings
Fork6
Star31

Commit03aab82

committed

Put in some more safeguards against executing a division-by-zero.

Add dummy returns before every potential division-by-zero in int8.c,because apparently further "improvements" in gcc's optimizer haveenabled it to break functions that weren't broken before.Aurelien Jarno, via Martin Pitt

1 parent2f418e8 commit03aab82Copy full SHA for 03aab82

File tree

1 file changed

+17

-0

lines changed

src/backend/utils/adt
- int8.c

1 file changed

+17

-0

lines changed

`‎src/backend/utils/adt/int8.c`

Lines changed: 17 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -592,9 +592,13 @@ int8div(PG_FUNCTION_ARGS)`
`592`	`592`	`int64result;`
`593`	`593`
`594`	`594`	`if (arg2==0)`
	`595`	`+{`
`595`	`596`	`ereport(ERROR,`
`596`	`597`	`(errcode(ERRCODE_DIVISION_BY_ZERO),`
`597`	`598`	`errmsg("division by zero")));`
	`599`	`+/* ensure compiler realizes we mustn't reach the division (gcc bug) */`
	`600`	`+PG_RETURN_NULL();`
	`601`	`+}`
`598`	`602`
`599`	`603`	`result=arg1 /arg2;`
`600`	`604`
`@@ -639,9 +643,14 @@ int8mod(PG_FUNCTION_ARGS)`
`639`	`643`	`int64arg2=PG_GETARG_INT64(1);`
`640`	`644`
`641`	`645`	`if (arg2==0)`
	`646`	`+{`
`642`	`647`	`ereport(ERROR,`
`643`	`648`	`(errcode(ERRCODE_DIVISION_BY_ZERO),`
`644`	`649`	`errmsg("division by zero")));`
	`650`	`+/* ensure compiler realizes we mustn't reach the division (gcc bug) */`
	`651`	`+PG_RETURN_NULL();`
	`652`	`+}`
	`653`	`+`
`645`	`654`	`/* No overflow is possible */`
`646`	`655`
`647`	`656`	`PG_RETURN_INT64(arg1 %arg2);`
`@@ -815,9 +824,13 @@ int84div(PG_FUNCTION_ARGS)`
`815`	`824`	`int64result;`
`816`	`825`
`817`	`826`	`if (arg2==0)`
	`827`	`+{`
`818`	`828`	`ereport(ERROR,`
`819`	`829`	`(errcode(ERRCODE_DIVISION_BY_ZERO),`
`820`	`830`	`errmsg("division by zero")));`
	`831`	`+/* ensure compiler realizes we mustn't reach the division (gcc bug) */`
	`832`	`+PG_RETURN_NULL();`
	`833`	`+}`
`821`	`834`
`822`	`835`	`result=arg1 /arg2;`
`823`	`836`
`@@ -999,9 +1012,13 @@ int82div(PG_FUNCTION_ARGS)`
`999`	`1012`	`int64result;`
`1000`	`1013`
`1001`	`1014`	`if (arg2==0)`
	`1015`	`+{`
`1002`	`1016`	`ereport(ERROR,`
`1003`	`1017`	`(errcode(ERRCODE_DIVISION_BY_ZERO),`
`1004`	`1018`	`errmsg("division by zero")));`
	`1019`	`+/* ensure compiler realizes we mustn't reach the division (gcc bug) */`
	`1020`	`+PG_RETURN_NULL();`
	`1021`	`+}`
`1005`	`1022`
`1006`	`1023`	`result=arg1 /arg2;`
`1007`	`1024`

0 commit comments

Comments

(0)

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit03aab82

File tree

1 file changed

1 file changed

`‎src/backend/utils/adt/int8.c`

0 commit comments