* [Cocci] Support for C++ delete expressions? @ 2018-06-03 9:25 SF Markus Elfring 2018-06-03 9:32 ` Julia Lawall 0 siblings, 1 reply; 5+ messages in thread From: SF Markus Elfring @ 2018-06-03 9:25 UTC (permalink / raw) To: cocci Hello, The information ?make a small attempt to parse C++ files? is provided for the parameter ?--c++? of the program ?spatch?. How does the software development situation look like for the handling of ?delete expressions?? http://en.cppreference.com/w/cpp/language/delete Regards, Markus ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Cocci] Support for C++ delete expressions? 2018-06-03 9:25 [Cocci] Support for C++ delete expressions? SF Markus Elfring @ 2018-06-03 9:32 ` Julia Lawall [not found] ` <7e3bd4a1-daaf-5b84-5de2-c446cc0a4c1c@users.sourceforge.net> 0 siblings, 1 reply; 5+ messages in thread From: Julia Lawall @ 2018-06-03 9:32 UTC (permalink / raw) To: cocci On Sun, 3 Jun 2018, SF Markus Elfring wrote: > Hello, > > The information ?make a small attempt to parse C++ files? is provided for > the parameter ?--c++? of the program ?spatch?. > How does the software development situation look like for the handling > of ?delete expressions?? Delete is handled. If there is some example for which the result is not satisfactory, you would have to provide it. julia > http://en.cppreference.com/w/cpp/language/delete > > Regards, > Markus > _______________________________________________ > Cocci mailing list > Cocci at systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > ^ permalink raw reply [flat|nested] 5+ messages in thread
[parent not found: <7e3bd4a1-daaf-5b84-5de2-c446cc0a4c1c@users.sourceforge.net>]
[parent not found: <alpine.DEB.2.20.1806032126430.2740@hadrien>]
[parent not found: <c8f05f51-fa3c-9770-ac99-20a23df8e4c3@users.sourceforge.net>]
* [Cocci] Support for C++ delete expressions [not found] ` <c8f05f51-fa3c-9770-ac99-20a23df8e4c3@users.sourceforge.net> @ 2018-06-11 10:49 ` Julia Lawall [not found] ` <6f9689bc-4fd8-34ff-ed26-f8a57ad16baf@users.sourceforge.net> [not found] ` <b5366687-eac7-1a85-0c90-15b620b734d5@users.sourceforge.net> 0 siblings, 2 replies; 5+ messages in thread From: Julia Lawall @ 2018-06-11 10:49 UTC (permalink / raw) To: cocci delete [] is now supported by the C++ parser (ie with option --c++). Note that no C++ specific operators are supported by the semantic patch language. julia ^ permalink raw reply [flat|nested] 5+ messages in thread
[parent not found: <6f9689bc-4fd8-34ff-ed26-f8a57ad16baf@users.sourceforge.net>]
* [Cocci] Support for C++ delete expressions [not found] ` <6f9689bc-4fd8-34ff-ed26-f8a57ad16baf@users.sourceforge.net> @ 2018-06-25 17:13 ` Julia Lawall 0 siblings, 0 replies; 5+ messages in thread From: Julia Lawall @ 2018-06-25 17:13 UTC (permalink / raw) To: cocci On Mon, 25 Jun 2018, SF Markus Elfring wrote: > > delete [] is now supported by the C++ parser (ie with option --c++). > > This is nice. > > > > Note that no C++ specific operators are supported by the semantic > > patch language. > > How will the software situation evolve further for corresponding key words? > > Would you ever like to support a source code transformation > where unnecessary null pointer checks can be removed before > such delete statements? > > Another description: > https://clang.llvm.org/extra/clang-tidy/checks/readability-delete-null-pointer.html C++ is not a priority for me personally. If someone wants to fund adding better support for C++, that would probably be good for Coccinelle. julia > > Regards, > Markus > ^ permalink raw reply [flat|nested] 5+ messages in thread
[parent not found: <b5366687-eac7-1a85-0c90-15b620b734d5@users.sourceforge.net>]
* [Cocci] Checking evolution around software build parameters [not found] ` <b5366687-eac7-1a85-0c90-15b620b734d5@users.sourceforge.net> @ 2018-07-04 16:00 ` Thierry Martinez 0 siblings, 0 replies; 5+ messages in thread From: Thierry Martinez @ 2018-07-04 16:00 UTC (permalink / raw) To: cocci SF Markus Elfring?: > /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c > gcc: error: unrecognized command line option > ?-fstack-clash-protection?; did you mean ?-fstack-protector?? Thank you for reporting this. It seems that ocamlc assumes a version of GCC more recent than the version installed on your system. In commit c619caf8 (github master), I removed the C stubs and replaced by pure OCaml implementations. The problem should have disappeared now. Cheers, -- Thierry. SF Markus Elfring?: >> delete [] is now supported by the C++ parser (ie with option --c++). > > Thanks for this software extension. > > Now I am curious on collateral evolution around this information. > > elfring at Sonne:~/Projekte/Coccinelle/20160205> git checkout master && git pull && ./autogen && ./configure && grep VERSION=1 Makefile.config && LANG=C make world > ? > VERSION=1.0.6-00452-g175de16b > ? > /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c > gcc: error: unrecognized command line option ?-fstack-clash-protection?; did you mean ?-fstack-protector?? > make: *** [Makefile:633: commons/proc_pidpath_stubs.o] Error 2 > > > Are there any special dependencies to consider for the usage of > the software ?OCaml 4.05.0-5.1? (on my openSUSE development system)? > > Regards, > Markus ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2018-07-04 16:00 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2018-06-03 9:25 [Cocci] Support for C++ delete expressions? SF Markus Elfring 2018-06-03 9:32 ` Julia Lawall [not found] ` <7e3bd4a1-daaf-5b84-5de2-c446cc0a4c1c@users.sourceforge.net> [not found] ` <alpine.DEB.2.20.1806032126430.2740@hadrien> [not found] ` <c8f05f51-fa3c-9770-ac99-20a23df8e4c3@users.sourceforge.net> 2018-06-11 10:49 ` [Cocci] Support for C++ delete expressions Julia Lawall [not found] ` <6f9689bc-4fd8-34ff-ed26-f8a57ad16baf@users.sourceforge.net> 2018-06-25 17:13 ` Julia Lawall [not found] ` <b5366687-eac7-1a85-0c90-15b620b734d5@users.sourceforge.net> 2018-07-04 16:00 ` [Cocci] Checking evolution around software build parameters Thierry Martinez
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).