Re: ToDo: plpgsql plugin for query and expression verification - Mailing list pgsql-hackers

From Hitoshi Harada
Subject Re: ToDo: plpgsql plugin for query and expression verification
Date
Msg-id e08cc0401002160452p7722a7bxd352bec92c4e73c3@mail.gmail.com
Whole thread Raw
In response to ToDo: plpgsql plugin for query and expression verification  (Pavel Stehule <pavel.stehule@gmail.com>)
Responses Re: ToDo: plpgsql plugin for query and expression verification
List pgsql-hackers
2010/2/16 Pavel Stehule <pavel.stehule@gmail.com>:
> I think, so these problem have to be identified in compile stage - but
> it can be too strict for all (and can slow down production) - it is
> reason for plugin.
>
> What do you think about this idea?

How do you identify them? Running function body cannot be applied if
the function is volatile. Also, I don't see how do you choose function
argument values even in immutable cases.

Regards,

-- 
Hitoshi Harada


pgsql-hackers by date:

Previous
From: Fujii Masao
Date:
Subject: Re: Streaming replication on win32, still broken
Next
From: Joachim Wieland
Date:
Subject: Re: LISTEN/NOTIFY and notification timing guarantees