Pavel Stehule <pavel.stehule@xxxxxxxxx> writes: > st 29. 6. 2022 v 7:46 odesílatel Tom Lane <tgl@xxxxxxxxxxxxx> napsal: >> ... that result has discouraged most people from spending much >> time on mechanically checking such things. If you declare a function >> immutable, Postgres will believe you; the consequences if you lied >> are on your own head. > We cannot ensure that the function is immutable, but we can detect that the > function is not very probably immutable (in execution time). Sure, there are a lot of easy cases where we could say "that's obviously not immutable". But is it worth spending engineering effort and runtime on that? I suspect the cases that people might actually mess up are less obvious, so that we might accomplish little more than offering a false sense of security. regards, tom lane
