Function float_zero_divide_error

src/backend/utils/adt/float.c:99–105

}

pg_noinline void
float_zero_divide_error(void)
{
	ereport(ERROR,
			(errcode(ERRCODE_DIVISION_BY_ZERO),
			 errmsg("division by zero")));
}


/*