{

if (var->default_val==NULL)

{

var->value= (Datum)0;

var->isnull= true;

if (!var->datatype->typinput.fn_strict)

{

boolvalIsNull= true;

exec_assign_value(estate,

(PLpgSQL_datum*)var,

(Datum)0,

UNKNOWNOID,

&valIsNull);

}

if (var->notnull)

ereport(ERROR,

(errcode(ERRCODE_NULL_VALUE_NOT_ALLOWED),

-- and local variables are enforced correctly.

create function doubledecrement(p1 pos_int) returns pos_int as $$

declare v pos_int;

begin

return p1;

end$$ language plpgsql;

select doubledecrement(3); -- fail because of implicit null assignment

ERROR: domain pos_int does not allow null values

CONTEXT: PL/pgSQL function "doubledecrement" line 2 during statement block local variable initialization

create or replace function doubledecrement(p1 pos_int) returns pos_int as $$

declare v pos_int := 0;

begin

return p1;

end$$ language plpgsql;

select doubledecrement(3); -- fail at initialization assignment

ERROR: value for domain pos_int violates check constraint "pos_int_check"

CONTEXT: PL/pgSQL function "doubledecrement" line 2 during statement block local variable initialization

create or replace function doubledecrement(p1 pos_int) returns pos_int as $$

declare v pos_int := 1;

begin

v := p1 - 1;

return v - 1;

createfunctiondoubledecrement(p1 pos_int) returns pos_intas $$

declare v pos_int;

return p1;

end$$ language plpgsql;

select doubledecrement(3);-- fail because of implicit null assignment

create or replacefunctiondoubledecrement(p1 pos_int) returns pos_intas $$

declare v pos_int :=0;

return p1;

end$$ language plpgsql;

select doubledecrement(3);-- fail at initialization assignment

create or replacefunctiondoubledecrement(p1 pos_int) returns pos_intas $$

declare v pos_int :=1;

v := p1-1;

return v-1;