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.falk@blue-cable.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 :-) )