Re: Interfacing Ada to Unix/execl var. arg

[rgilbert@orl.mmc.com (Bob Gilbert)]

In article ioq@goanna.cs.rmit.oz.au, Dale Stanbrough <dale@goanna.cs.rmit.edu.au> () writes:
->
->The main problem lies in here - how do you assemble the various
->arguments into a call to a pragma import'ed C routine?
->
->The only solution appears to be to direct pass parameters via 
->aggregates (as your solution suggests) and then call an equivalent
->non-variable argument list function (e.g. execl - execv).
->
->The code below works, but I am unsure of whether it is memory safe,
->and whether all memory gets reclaimed at the end of the function.
->
->
->function execv( path    :string;
->                argv    :string_array := null_arg_list) return integer is
->
->        C_path  :constant interfaces.c.char_array(1..path'length+1)
->                                := interfaces.c.to_C(path);
->        type address_array is array(1..argv'length + 1) of system.address;
->
->        C_argv  :address_array;
->        index   :integer;
->
->        ------------------------------------------------------------
->        function C_execv(       path    :system.address;
->                                C_arg_list:system.address)
->                                        return interfaces.c.int;
->        pragma import(C, C_execv, "execv");
->        ------------------------------------------------------------
->begin
->        -- set up the array of pointers to the strings
->        index := 0;
->        for i in argv'range loop
->                index := index + 1;
->                -- can Ada release the memory pointed returned by 
->                -- interfaces.c.to_c after the loop (leaving the pointer
->                -- pointing at nothing), or will it wait until the end of
->                -- the function, or will it never free up the memory?
->
->                C_argv(index) := interfaces.c.to_c(argv(i).all)(0)'address;
->        end loop;
->
->        -- append C style null to the end of the array of addresses
->        -- (presumes that system.null_address = C style null).
->
->        C_argv(C_argv'last) := system.null_address;
->
->        -- pass the address of the first element of each
->        -- parameter, as C expects.
->
->        return integer(C_execv( C_path(1)'address,
->                                C_argv(1)'address));
->end execv;
->
->
->Thanks,
->
->Dale

Does interfaces.c.to_c cause memory to be allocated?

If not, then there is no problem since the array C_argv is created
on the calling stack and released upon exit from the function execv.

-Bob