Re: [Cocci] Replacing usages of “auto” with SmPL?

2020-02-04 Thread Markus Elfring
> You're not actually showing a need.

I disagree. - Our needs are just different.


> Ie you don't have a real piece of software in which this transformation is 
> actually needed.

Under which circumstances will the clarification of related components
become more attractive?

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] Replacing usages of “auto” with SmPL?

2020-02-04 Thread Julia Lawall



On Tue, 4 Feb 2020, Markus Elfring wrote:

> >> @replacement@
> >> @@
> >> -auto
> >> +my_type
> >
> > There is nothing to support this.
>
> Thanks for such feedback.
>
>
> > So far I don't have the impression that anyone has had a need for it either.
>
> How often will I be the first one who shows a need for further software 
> extensions?

You're not actually showing a need.  Ie you don't have a real piece of
software in which this transformation is actually needed.

julia

>
>
> Would anybody like to help any more for corresponding development challenges?
>
> Regards,
> Markus
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] Replacing usages of “auto” with SmPL?

2020-02-04 Thread Markus Elfring
>> @replacement@
>> @@
>> -auto
>> +my_type
>
> There is nothing to support this.

Thanks for such feedback.


> So far I don't have the impression that anyone has had a need for it either.

How often will I be the first one who shows a need for further software 
extensions?


Would anybody like to help any more for corresponding development challenges?

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] Replacing usages of “auto” with SmPL?

2020-02-04 Thread Julia Lawall



On Tue, 4 Feb 2020, Markus Elfring wrote:

> > I think it expects a type as well.  I don't know if that is a reasonable
> > assumption in C or in C++.
>
> Can a source code transformation approach like the following make sense?
>
> @replacement@
> @@
> -auto
> +my_type

There is nothing to support this.  So far I don't have the impression that
anyone has had a need for it either.

julia


>
>
> elfring@Sonne:~/Projekte/Coccinelle/Probe> spatch --parse-cocci 
> replace_auto1.cocci
> init_defs_builtins: /usr/local/bin/../lib/coccinelle/standard.h
> minus: parse error:
>   File "replace_auto1.cocci", line 5, column 0, charpos = 32
>   around = '',
>   whole content =
>
>
> Will the software support for adjustments around the explicit specification of
> automatic storage duration become better anyhow?
> https://en.cppreference.com/w/c/language/storage_duration
>
> Regards,
> Markus
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] Replacing usages of “auto” with SmPL?

2020-02-04 Thread Markus Elfring
> I think it expects a type as well.  I don't know if that is a reasonable
> assumption in C or in C++.

Can a source code transformation approach like the following make sense?

@replacement@
@@
-auto
+my_type


elfring@Sonne:~/Projekte/Coccinelle/Probe> spatch --parse-cocci 
replace_auto1.cocci
init_defs_builtins: /usr/local/bin/../lib/coccinelle/standard.h
minus: parse error:
  File "replace_auto1.cocci", line 5, column 0, charpos = 32
  around = '',
  whole content =


Will the software support for adjustments around the explicit specification of
automatic storage duration become better anyhow?
https://en.cppreference.com/w/c/language/storage_duration

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci