proposal - plpgsql - all plpgsql auto variables should be constant - Mailing list pgsql-hackers

From Pavel Stehule
Subject proposal - plpgsql - all plpgsql auto variables should be constant
Date
Msg-id CAFj8pRBu_qZ72OhTQeh2nM3Mm_9oMpECm08Tgj1Ks0dd=n2ggw@mail.gmail.com
Whole thread Raw
Responses Re: proposal - plpgsql - all plpgsql auto variables should be constant  (Ashutosh Bapat <ashutosh.bapat.oss@gmail.com>)
List pgsql-hackers
Hi

plpgsql generate lot of auto variables - FOUND, SQLERRM, cycle's control variable, TG_WHEN, TG_OP, ..

Currently these variables are not protected, what can be source of problems, mainly for not experienced users. I propose mark these variables as constant.

-- today
postgres=# do $$ begin for i in 1..10 loop raise notice 'i=%', i; i := 20; end loop; end; $$;
NOTICE:  i=1
NOTICE:  i=2
NOTICE:  i=3
NOTICE:  i=4
NOTICE:  i=5
NOTICE:  i=6
NOTICE:  i=7
NOTICE:  i=8
NOTICE:  i=9
NOTICE:  i=10
DO

-- after patch
postgres=# do $$ begin for i in 1..10 loop raise notice 'i=%', i; i := 20; end loop; end; $$;
ERROR:  variable "i" is declared CONSTANT
LINE 1: ... begin for i in 1..10 loop raise notice 'i=%', i; i := 20; e...
        
These variables are protected in PL/SQL too.

Comments, notes?

Regards

Pavel

p.s. this is simple implementation - just for function demo. Maybe can be better to introduce new plpgsql_variable's flag like is_protected or similar than using isconst.
Attachment

pgsql-hackers by date:

Previous
From: Kyotaro Horiguchi
Date:
Subject: Re: 2pc leaks fds
Next
From: Michael Paquier
Date:
Subject: Re: HEAPDEBUGALL is broken