Ranier Vilela <ranier(dot)vf(at)gmail(dot)com> writes:
> It is agreed that asserts should be used for error conditions that can
> never occur in the release.
> But with errors that can occur, using assert does not make sense.
On what grounds do you claim that those asserts are wrong?
Coverity's opinion counts for just about nothing these days.
A test case causing a crash would count, of course.
regards, tom lane