[c++,12/12] ada-lang.h: Add cast in GROW_VECT

Message ID 1445831362-18789-2-git-send-email-simon.marchi@polymtl.ca
State New, archived
Headers

Commit Message

Simon Marchi Oct. 26, 2015, 3:49 a.m. UTC
  The assignment requires a cast in C++.

gdb/ChangeLog:

	* ada-lang.h (GROW_VECT): Add cast.
---
 gdb/ada-lang.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
  

Comments

Pedro Alves Oct. 26, 2015, 4:50 p.m. UTC | #1
On 10/26/2015 03:49 AM, Simon Marchi wrote:
> The assignment requires a cast in C++.
> 
> gdb/ChangeLog:
> 
> 	* ada-lang.h (GROW_VECT): Add cast.
> ---
>  gdb/ada-lang.h | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/gdb/ada-lang.h b/gdb/ada-lang.h
> index 62896f1..32c4b55 100644
> --- a/gdb/ada-lang.h
> +++ b/gdb/ada-lang.h
> @@ -147,7 +147,7 @@ struct ada_task_info
>     least M objects, updating V and S as necessary.  */
>  
>  #define GROW_VECT(v, s, m)                                    \
> -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
> +   if ((s) < (m)) (v) = (typeof (v)) grow_vect (v, &(s), m, sizeof *(v));
>  

typeof in C is a GCC extension.  Probably not all compilers support it.

In my branch I just have:

  #define GROW_VECT(v, s, m)                                    \
 -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
 +   if ((s) < (m)) (v) = (char *) grow_vect (v, &(s), m, sizeof *(v));

Because that works for all current uses of GROW_VECT.

If we wanted to make this work for random types, then we could add
a type parameter to the GROW_VECT macro, like:

- #define GROW_VECT(v, s, m)                                    \
-   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
+ #define GROW_VECT(t, v, s, m)                                    \
+   if ((s) < (m)) (v) = (t *) grow_vect (v, &(s), m, sizeof *(v));

Not sure it's worth it though.  It then raises the question of
"why not replace this home grown GROW_VECT stuff with a VEC instead".

Thanks,
Pedro Alves
  
Simon Marchi Oct. 27, 2015, 2:34 a.m. UTC | #2
On 26/10/15 12:50 PM, Pedro Alves wrote:
> On 10/26/2015 03:49 AM, Simon Marchi wrote:
>> The assignment requires a cast in C++.
>>
>> gdb/ChangeLog:
>>
>> 	* ada-lang.h (GROW_VECT): Add cast.
>> ---
>>  gdb/ada-lang.h | 2 +-
>>  1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/gdb/ada-lang.h b/gdb/ada-lang.h
>> index 62896f1..32c4b55 100644
>> --- a/gdb/ada-lang.h
>> +++ b/gdb/ada-lang.h
>> @@ -147,7 +147,7 @@ struct ada_task_info
>>     least M objects, updating V and S as necessary.  */
>>  
>>  #define GROW_VECT(v, s, m)                                    \
>> -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
>> +   if ((s) < (m)) (v) = (typeof (v)) grow_vect (v, &(s), m, sizeof *(v));
>>  
> 
> typeof in C is a GCC extension.  Probably not all compilers support it.
> 
> In my branch I just have:
> 
>   #define GROW_VECT(v, s, m)                                    \
>  -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
>  +   if ((s) < (m)) (v) = (char *) grow_vect (v, &(s), m, sizeof *(v));
> 
> Because that works for all current uses of GROW_VECT.
> 
> If we wanted to make this work for random types, then we could add
> a type parameter to the GROW_VECT macro, like:
> 
> - #define GROW_VECT(v, s, m)                                    \
> -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
> + #define GROW_VECT(t, v, s, m)                                    \
> +   if ((s) < (m)) (v) = (t *) grow_vect (v, &(s), m, sizeof *(v));
> 
> Not sure it's worth it though.  It then raises the question of
> "why not replace this home grown GROW_VECT stuff with a VEC instead".
> 
> Thanks,
> Pedro Alves

I thought about changing it for a proper VEC, but it's not really in the scope of
the C++ changes.  If I side-track on things like this, it will take an eternity!
And I feel that at this moment, it would be a risk of introducing bugs without
added value.

Is it ok if I simply push your version that adds the (char *) in the macro?  It
seems like the most efficient fix given the situation.
  
Pedro Alves Oct. 27, 2015, 12:13 p.m. UTC | #3
On 10/27/2015 02:34 AM, Simon Marchi wrote:
> On 26/10/15 12:50 PM, Pedro Alves wrote:

>> typeof in C is a GCC extension.  Probably not all compilers support it.
>>
>> In my branch I just have:
>>
>>   #define GROW_VECT(v, s, m)                                    \
>>  -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
>>  +   if ((s) < (m)) (v) = (char *) grow_vect (v, &(s), m, sizeof *(v));
>>
>> Because that works for all current uses of GROW_VECT.
>>
>> If we wanted to make this work for random types, then we could add
>> a type parameter to the GROW_VECT macro, like:
>>
>> - #define GROW_VECT(v, s, m)                                    \
>> -   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
>> + #define GROW_VECT(t, v, s, m)                                    \
>> +   if ((s) < (m)) (v) = (t *) grow_vect (v, &(s), m, sizeof *(v));
>>
>> Not sure it's worth it though.  It then raises the question of
>> "why not replace this home grown GROW_VECT stuff with a VEC instead".

> I thought about changing it for a proper VEC, but it's not really in the scope of
> the C++ changes.  If I side-track on things like this, it will take an eternity!
> And I feel that at this moment, it would be a risk of introducing bugs without
> added value.
> 
> Is it ok if I simply push your version that adds the (char *) in the macro?  It
> seems like the most efficient fix given the situation.

It's certainly fine with me.

Thanks,
Pedro Alves
  

Patch

diff --git a/gdb/ada-lang.h b/gdb/ada-lang.h
index 62896f1..32c4b55 100644
--- a/gdb/ada-lang.h
+++ b/gdb/ada-lang.h
@@ -147,7 +147,7 @@  struct ada_task_info
    least M objects, updating V and S as necessary.  */
 
 #define GROW_VECT(v, s, m)                                    \
-   if ((s) < (m)) (v) = grow_vect (v, &(s), m, sizeof *(v));
+   if ((s) < (m)) (v) = (typeof (v)) grow_vect (v, &(s), m, sizeof *(v));
 
 extern void *grow_vect (void *, size_t *, size_t, int);