Re: Interfacing to C

["RasikaSrinivasan@gmail.com" <rasikasrinivasan@gmail.com>]

On Dec 24, 7:34 am, Niklas Holsti <niklas.hol...@tidorum.invalid>
wrote:
> RasikaSriniva...@gmail.com wrote:
> > I am building an interface to a C library. This library uses structs
> > like the following:
>
> > typedef struct {
> >     x : int ;
> >     y : int }  MyStruct ....
>
> > While passing variables of this type to functions, the convention in C
> > is to pass by value (best of my knowledge).
>
> Correct, as I understand the C parameter-passing rules.
>
> > however when I import a function like:
>
> > type MyStruct is record ..... end record ;
> > pragma Convention(C,MyStruct);
>
> > procedure process(var : MyStruct);
> > pragma Import(C,process);
>
> > It appears that Ada passes the var by reference.
>
> Yes, by default Ada considers records/struct under convention C as
> pass-by-reference (LRM B.3 (69/2)). C programmers often choose to pass
> structs by reference (pointer to struct) and the Ada Convention (C)
> pragma has been defined accordingly. Or so I guess.
>
> > So the question is - how c(an I force Ada (gnat) to pass a record by
> > value?
>
> Use Pragma Convention (C_Pass_By_Copy, MyStruct). See LRM B.3 (60.14/2)
> and LRM B.3 (68.1/2).
>
> --
> Niklas Holsti
> Tidorum Ltd
> niklas holsti tidorum fi
>        .      @       .

Vadim and Niklas

Thank you so much, srini