BUG #9085: Server segfault from psql

The following bug has been logged on the website:

Bug reference: 9085
Logged by: Hardy Falk
Email address: hardy(dot)falk(at)blue-cable(dot)de
PostgreSQL version: 9.3.2
Operating system: Linux ubuntu 2.6.32-55-generic #117-Ubuntu SMP Tue
Description:

create table foo ( x int ) ;
CREATE TABLE
alasys=> create function zzz( v foo ) returns void as
alasys-> $$
alasys$> insert into foo(x) values (v.*)
alasys$> $$ language SQL ;
The connection to the server was lost. Attempting reset: Failed.

Server log:
LOG: server process (PID 4995) was terminated by signal 11: Segmentation
fault
DETAIL: Failed process was running: create function zzz( v foo ) returns
void as
$$
insert into foo(x) values (v.*)
$$ language SQL ;
LOG: terminating any other active server processes
WARNING: terminating connection because of crash of another server process
DETAIL: The postmaster has commanded this server process to roll back the
current transaction and exit, because another server process exited
abnormally and possibly corrupted shared memory.
HINT: In a moment you should be able to reconnect to the database and
repeat your command. ( true :-) )