Simpadd0-declor
Transform a declarator.
- Signature
(simpadd0-declor declor fundefp gin)
→
(mv new-declor new-fundefp gout)
- Arguments
- declor — Guard (declorp declor).
- fundefp — Guard (booleanp fundefp).
- gin — Guard (ginp gin).
- Returns
- new-declor — Type (declorp new-declor).
- new-fundefp — Type (booleanp new-fundefp).
- gout — Type (goutp gout).
The fundefp flag is set iff
the declarator is (part of) the one of a function definition
whose parameters have not been transformed yet;
see the callers of this function.
A possibly changed flag is returned as output:
see simpadd0-dirdeclor for its use and possile change.
