Bug C++ 111974 (Segmentation fault of GCC, ubuntu 23.10, compiling RefPerSys 041d5d70aefd)

2023-10-25 Thread Basile Starynkevitch
. To reproduce the GCC bug, run make (GNU make 4.3 from Ubuntu) in the tarball If you did reproduce it, please email me (Basile Starynkevitch, in France) to bas...@starynkevitch.net Regards -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine

Re: More C type errors by default for GCC 14

2023-05-10 Thread Basile Starynkevitch
github.com/RefPerSys/RefPerSys ; it is explicitly thought for non-critical use (desktop, teaching, ...). -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/

a small C (naive) program faster with clang than with gcc

2023-04-24 Thread Basile Starynkevitch
mit/0d1bd0ea8e2708036fcf126cc1f096be888360ab>) On Linux/x86-64 that source code compiled with gcc-12 -O3 is twice as slower as with clang -O3 (Debian/Sid or Ubuntu/22/10) Feel free to add it to some testsuite! Thanks -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la

Re: No warning about duplicate values in enum

2023-03-13 Thread Basile Starynkevitch
On 3/13/23 14:29, Marek Polacek wrote: On Sat, Mar 11, 2023 at 04:48:14PM +, Jonathan Wakely via Gcc wrote: On Sat, 11 Mar 2023, 12:53 Basile Starynkevitch, wrote: Hello all, Andrea observed that: In gcc 8.3.0, compiling enum test { FIRST = 1, SECOND = 1

No warning about duplicate values in enum

2023-03-11 Thread Basile Starynkevitch
source inference engine (work in progress) on http://refpersys.org/ -- Basile Starynkevitch 92340 Bourg-la-Reine, France http://starynkevitch.net/Basile/ and http://refpersys.org/

static analysis in GCC (starting from Bismon plugin)

2023-03-01 Thread Basile Starynkevitch
eers PS. My pet open source project is the RefPerSys <http://refpersys.org/> open source inference engine with some code on https://github.com/RefPerSys/RefPerSys (if interested contact me by email to bas...@starynkevitch.net or basile.starynkevi...@cea.fr ...) -- Basile Starynkevitch (

GCC -ftime-trace

2023-02-11 Thread Basile Starynkevitch
_gettime system call. See https://man7.org/linux/man-pages/man2/clock_gettime.2.html It is related to plugin gate functions... Regards. BTW, my pet open source project is http://refpersys.org/ (symbolic inference engine, work in progress). -- Basile Starynkevitch (onl

Re: GSoC: Working on the static analyzer

2022-02-14 Thread Basile Starynkevitch
On 2/14/22 13:59, Basile Starynkevitch wrote: Hello, Mir Immad asked: Should the analyzer warn for code like this "when open fails" (like strchr does when 'strchr' returns NULL) int fd = open("NOFILE", O_RDONLY); write(fd, "a", 1); because of t

GSoC: Working on the static analyzer

2022-02-14 Thread Basile Starynkevitch
c.com/ <https://frama-c.com/> PS. My pet project is http://refpersys.org/ (Soon generating code compiled by GCC). It is not GCC related. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/

Your GSoc'22 submission for GCC

2021-09-26 Thread Basile Starynkevitch
oject is RefPerSys <http://refpersys.org/> (symbolic artificial intelligence). Jacques Pitrat's last book Artificial Beings: the Conscience of a Conscious Machine (ISBN-13: 978-1848211018) could interest you. -- Basile Starynkevitch (only mine opinions / les opinions

Re: Exact inform format escape sequence (GCC 10 or GCC 11)

2021-09-14 Thread Basile Starynkevitch
On 9/14/21 11:32 AM, Martin Liška wrote: On 9/10/21 15:05, Basile Starynkevitch wrote: Hello all, In the Bismon static source code analyzer on https://github.com/bstarynk/bismon/ commit ad8b6270691e (funded by http://decoder-project.eu/ ) which contains some GPLv3+ GCC plugin code

Exact inform format escape sequence (GCC 10 or GCC 11)

2021-09-10 Thread Basile Starynkevitch
  405 | inform (UNKNOWN_LOCATION, "Bismon plugin %qs (%s:%d) will handle GCC include-file events with prefix %qs",   | ^~ Where can I read the complete specification of % escape sequences for inform? Thanks Bas

GCC [RFC] Whole Program Devirtualization

2021-08-20 Thread Basile Starynkevitch
fr and at home bas...@starynkevitch.net ) The most important thing: limit your ambition at first. Write a document (at least an internal one) stating what you won't do. Cheers -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/

About porting GCC to backends which have a small number of registers. ....

2021-04-11 Thread Basile Starynkevitch
t candidate to do so... Cheers -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/

static analysis above GCC (GSoC 2021)

2021-03-06 Thread Basile Starynkevitch
://refpersys.org/ and I am seeking funding and applications for it. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/

example GCC plugins?

2020-03-20 Thread Basile Starynkevitch
mon/> (a GPLv3+ software described here <http://starynkevitch.net/Basile/bismon-chariot-doc.pdf>). Funding agencies and employer won't allow me to code a plugin which has absolutely no change to be used. Cheers -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are

[off-topic] freelancing GCC plugin development activity

2019-10-30 Thread Basile Starynkevitch
privately by email to bas...@starynkevitch.net Thanks for reading. Cheers PS. My resume is here: http://starynkevitch.net/Basile/cv-Basile-Starynkevitch.pdf -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - les opinions sont seulement miennes Bourg La Reine

Re: [wwwdocs] extensions.html - remove "rogue" MELT page

2019-06-15 Thread Basile Starynkevitch
On 6/15/19 9:45 PM, Gerald Pfeifer wrote: On Sun, 15 Jul 2018, Basile Starynkevitch wrote: Basile, should we generally remove this reference to GCC MELT? Yes. I am no more working on MELT, but I did begin to work on its successor: Sorry for the delay - I finally applied the patch below

Re: GCC 8: adding, thru a plugin, an analyzing RTL pass after pro_and_epilogue issue with its reference_pass_name

2019-04-11 Thread Basile Starynkevitch
On 4/10/19 8:44 PM, David Malcolm wrote: On Wed, 2019-04-10 at 17:53 +0200, Basile Starynkevitch wrote: I don't want to pollute the mailing list archive. My previous email is on https://gcc.gnu.org/ml/gcc/2019-04/msg00133.html so please refer to it. And that previous email mentions http

GCC 8: adding, thru a plugin, an analyzing RTL pass after pro_and_epilogue issue with its reference_pass_name

2019-04-10 Thread Basile Starynkevitch
th we don't know what license is that code (files kernel.c etc...) but we guess it is morally in the public domain or open source (but we are not lawyers) since given as an example on some wiki page. Regards -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - l

Re: Warning for C Parameter Name Mismatch

2019-03-10 Thread Basile Starynkevitch
On 3/10/19 12:54 PM, David Brown wrote: On 10/03/2019 07:11, Basile Starynkevitch wrote: (I am reading the GCC mailing list in digest mode) On 3/9/19 10:58 PM, gcc-digest-h...@gcc.gnu.org wrote: On Fri, 8 Mar 2019, Joel Sherrill wrote: Can gcc report when the parameter name in a C

Re: Warning for C Parameter Name Mismatch

2019-03-09 Thread Basile Starynkevitch
. How to write such a GCC plugin is a different question, and should be asked as such. Cheers. -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - les opinions sont seulement miennes Bourg La Reine, France

[RFC] Adding Python as a possible language and it's usage

2018-07-17 Thread Basile Starynkevitch
-- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - les opinions sont seulement miennes Bourg La Reine, France

Re: [wwwdocs] extensions.html - remove "rogue" MELT page

2018-07-14 Thread Basile Starynkevitch
On 07/15/2018 07:12 AM, Basile Starynkevitch wrote: On 07/14/2018 10:17 PM, Gerald Pfeifer wrote: I noticed that http://gcc-melt.org now redirects to http://www.gcc-melt.org which looks like a default, and empty, Wordpress installation. I went ahead and applied the patch below. Basile

Re: [wwwdocs] extensions.html - remove "rogue" MELT page

2018-07-14 Thread Basile Starynkevitch
am no more working on MELT, but I did begin to work on its successor: https://github.com/bstarynk/bismon Cheers -- Basile STARYNKEVITCH == http://starynkevitch.net/Basile opinions are mine only - les opinions sont seulement miennes Bourg La Reine, France

Re: JIT patch: add gcc_jit_magic_int

2016-06-10 Thread Basile Starynkevitch
On 06/07/2016 09:19 PM, Andrew Pinski wrote: On Mon, May 23, 2016 at 5:26 AM, Basile Starynkevitch <bas...@starynkevitch.net> wrote: Hello All, As I explained in https://gcc.gnu.org/ml/jit/2016-q2/msg00042.html it is difficult (or tricky without using dirty tricks involving the GCC

JIT patch: add gcc_jit_magic_int

2016-05-23 Thread Basile Starynkevitch
from the GCCJIT compiler. The attached patch (relative to trunk svn 236583) is a first attempt to solve that issue (and also give ability to query some other magic numbers). Proposed ChangeLog entry (in gcc/jit/) 2016-05-23 Basile Starynkevitch <bas...@starynkevitch.net> * libgc

Re: [PATCH 0/3] Support for mandatory tail calls

2016-05-18 Thread Basile Starynkevitch
. Why an attribute? Attributes are on declarations. I think it should better be some pragma like _Pragma(GCC tail cail, foo(x,y)) or some builtin (or else some syntax extension like goto return foo(x,y); ...) because what we really want is to annotate a particular call to be tail-recursive.

Ann: MELT plugin 1.3 release candidate 2 for GCC 5 or GCC 6

2016-05-11 Thread Basile Starynkevitch
ps.com Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

Ann: MELT plugin 1.3 release candidate 1 for GCC 5 or GCC 6

2016-05-03 Thread Basile Starynkevitch
googlegroups.com Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

stable plugin introspection API ... Where?

2016-02-14 Thread Basile Starynkevitch
eatures in current GCC 6 (trunk) code base (in February 2016). I'm sure that most plugin writers would be pleased to know about that. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340

gengtype: conditional GTY ? (to add before GCC 6 release)

2016-02-12 Thread Basile Starynkevitch
pinions are welcome! Regards. PS. The very dirty alternative would be to feed gengtype with different variants of inputs. That is ugly. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine,

Re: gengtype: conditional GTY ? (to add before GCC 6 release)

2016-02-12 Thread Basile Starynkevitch
On 02/12/16 14:38, Richard Biener wrote: On Fri, Feb 12, 2016 at 1:23 PM, Basile Starynkevitch <bas...@starynkevitch.net> wrote: I am tempted to try implementing a conditional GTY, [...] but this makes sense only if such a gengtype patch would go both into GCC 6 and into the next micror

Re: gengtype: missing `tag' option (MELT branch)

2016-02-11 Thread Basile Starynkevitch
On 02/11/16 23:13, David Malcolm wrote: On Thu, 2016-02-11 at 19:54 +0100, Basile Starynkevitch wrote: Hello All, I am busy merging the GCC trunk branch (i.e. future GCC 6) into the MELT branch & plugin. I am noticing a strange thing. I was able to merge GCC trunk svn rev. 22

gengtype: missing `tag' option (MELT branch)

2016-02-11 Thread Basile Starynkevitch
time ago. Do you have any clues about what has changed in gengtype about these tag options in GCC 6? Or about the gimple type? Regards. PS. Of course the bug is very probably in the MELT branch, but it has been a long time since I dived into gengtype. I can't figure out the error. -- Ba

magic 8 constant (bits / byte maybe?) in GCC JIT memento_of_new_rvalue_from_const long::get_wide_int

2015-07-20 Thread Basile Starynkevitch
? Regards. -- Basile Starynkevitch http://starynkevitch.net/Basile/ France

PATCH (v2) trunk GCCJIT: adding gcc_jit_context_new_rvalue_from_long_long, etc...

2015-07-16 Thread Basile Starynkevitch
entry 2015-07-16 Basile Starynkevitch bas...@starynkevitch.net * jit-playback.c: Mention that it is in C++. (new_rvalue_from_const long): New. * jit-recording.c: Mention that it is in C++. (recording::memento_of_new_rvalue_from_const long long): New instanciated template

PATCH trunk GCCJIT: adding gcc_jit_context_new_rvalue_from_long_long, etc...

2015-07-15 Thread Basile Starynkevitch
Hello All and David Malcolm The attached patch (relative to trunk r224842) is adding gcc_jit_context_new_rvalue_from_long_long and similar functions to GCCJIT. It is bootstrapping, but I don't have any test cases ## gcc/jit/ChangeLog entry: 2015-07-15 Basile Starynkevitch bas

Re: PATCH trunk GCCJIT: adding gcc_jit_context_new_rvalue_from_long_long, etc...

2015-07-15 Thread Basile Starynkevitch
On 07/15/2015 20:52, David Malcolm wrote: On Wed, 2015-07-15 at 20:19 +0200, Basile Starynkevitch wrote: Hello All and David Malcolm The attached patch (relative to trunk r224842) is adding gcc_jit_context_new_rvalue_from_long_long and similar functions to GCCJIT. * dump_to_reproducer

Re: PATCH trunk GCCJIT: adding gcc_jit_context_new_rvalue_from_long_long, etc...

2015-07-15 Thread Basile Starynkevitch
On 07/15/2015 20:52, David Malcolm wrote: On Wed, 2015-07-15 at 20:19 +0200, Basile Starynkevitch wrote: Hello All and David Malcolm The attached patch (relative to trunk r224842) is adding gcc_jit_context_new_rvalue_from_long_long and similar functions to GCCJIT. Does this actually link

GCC/JIT and precise garbage collection support?

2015-07-09 Thread Basile Starynkevitch
such support for garbage collection, the (dying) Java front-end could be resurrected to provide a faster GC than Boehm GC. And GCC based compilers for languages like Go or D which have garbage collection could also profit. (even MELT might take advantage of that). Regards. -- Basile

configure --program-suffix could change gccjit library path?

2015-07-02 Thread Basile Starynkevitch
of libgccjit? Regards. -- Basile Starynkevitch http://starynkevitch.net/Basile/ France

Re: Four jit backports to gcc 5 branch

2015-06-30 Thread Basile Starynkevitch
be backported to GCC 5. (Its absence is IMHO a severe bug in GCCJIT, but perhaps GCC rules forbid backporting new features, even when they correct a huge deficiency and when the patch adding them is probably quite small). Cheers. -- Basile Starynkevitch http://starynkevitch.net/Basile/

Re: [PATCH 2/2] jit: add switch statements

2015-06-25 Thread Basile Starynkevitch
: #define LIBGCCJIT_HAVE_SWITCH_STATEMENT for the benefit of client code that doesn't use configure scripts. Perhaps just exposing the major and minor version of the GCC supporting that GCCJIT is enough (like it was done for plugins, e.g. GCCPLUGIN_VERSION etc)? Regards. -- Basile

mixing JIT and GCC (with a precompiled header?)?

2015-06-19 Thread Basile Starynkevitch
a gcc_jit_context from a precompiled header... Where should it go? Regards. -- Basile Starynkevitch http://starynkevitch.net/Basile/

FOSDEM talk on GCC MELT (Lisp devroom)

2015-01-30 Thread Basile Starynkevitch
compiler. About the GCC compiler, see http://gcc.gnu.org/ About MELT, see http://gcc-melt.org/ Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions

Ann: MELT plugin 1.1.3 for GCC 4.8 4.9

2014-11-13 Thread Basile Starynkevitch
mode. More informative error messages. Documentation generated in several HTML files. ### Please report bugs and comments to gcc-m...@googlegroups.com Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email

bad patch for GCCPLUGIN_VERSION... help needed!

2014-11-13 Thread Basile Starynkevitch
at it, please! I'm sure my mistake is trivial, but I cannot find it. I really hope this would go into GCC 5.0 (and the delay is short), because MELT http://gcc-melt.org/ is needing it. Regards thanks for your help. -- Basile Starynkevitch http://starynkevitch.net/Basile/

PATCH GCC5.0: conditionally skip gcc_version in gcc-plugin.h

2014-11-12 Thread Basile Starynkevitch
of `gcc_version` when the preprocessor symbol GCCPLUGIN_SKIP_VERSION_DATA is defined as 1 before #include plugin-version.h ### gcc/ChangeLog entry: 2014-11-12 Basile Starynkevitch bas...@starynkevitch.net * configure.ac (plugin-version.h): Don't define version data when

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Basile Starynkevitch
On Wed, Nov 12, 2014 at 02:12:07PM +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 01:55:12PM +0100, Basile Starynkevitch wrote: Hello All, Some plugins (including MELT, see http://gcc-melt.org/ for more) are made of several C++ source files which all include plugin-version.h

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Basile Starynkevitch
On Wed, Nov 12, 2014 at 02:29:13PM +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 02:20:22PM +0100, Basile Starynkevitch wrote: Most plugin don't need any configure, because they are installed in a version specific directory (like /usr/lib/gcc/x86_64-linux-gnu/4.9/plugin for example

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Basile Starynkevitch
On Wed, 2014-11-12 at 14:36 +0100, Basile Starynkevitch wrote: On Wed, Nov 12, 2014 at 02:29:13PM +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 02:20:22PM +0100, Basile Starynkevitch wrote: Most plugin don't need any configure, because they are installed in a version specific

Re: [jit] Drop libgccjit.pc

2014-10-20 Thread Basile Starynkevitch
On Mon, 2014-10-20 at 13:54 -0400, David Malcolm wrote: Committed to branch dmalcolm/jit: pkg-config appears to be controversial, so don't provide a .pc file. I would put it under contrib/; it is controversial, but some would like to have it. Cheers. -- Basile STARYNKEVITCH http

Ann: MELT 1.1.2 plugin for GCC 4.8 4.9 release (bugfixes)

2014-08-31 Thread Basile Starynkevitch
. tree_chain_to_tuple is a new function. # Please ask questions and give feedback (successes or bug reports) on gcc-m...@googlegroups.com list. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie

GCC plugins GGC explicit gcc_free

2014-08-29 Thread Basile Starynkevitch
a big lot of times. more realistically, add plugin hooks in cleanup routines, notably in cleanup_cfg file gcc/cfgcleanup.c Please comment on this. If we agree on something I'll try to propose some patch to GCC 5.0 during its stage 1. Regards. -- Basile STARYNKEVITCH http

Re: GCC plugins GGC explicit gcc_free

2014-08-29 Thread Basile Starynkevitch
and to print these at FINISH_UNIT time. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

consistent naming of passes....

2014-08-27 Thread Basile Starynkevitch
it should be documented, and preferably it should be identical to output of -fdump-passes Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions

Ann: MELT 1.1.1 plugin for GCC 4.8 4.9

2014-08-11 Thread Basile Starynkevitch
are invited to upgrade. Regards -- Basile Starynkevitch http://starynkevitch.net/Basile Opinions are mine only!

Ann: MELT plugin 1.1 release available for GCC 4.8 4.9

2014-07-27 Thread Basile Starynkevitch
function. *** Sorting primitives like multiple_sort are fully reentrant, so their compare routine might do a sort itself! *** Remove old option handling, REGISTER_OPTION is removed. Bug and success reports are welcome on gcc-m...@googlegroups.com Regards. -- Basile STARYNKEVITCH

Ann: MELT plugin 1.1 release candidate 1 available

2014-07-26 Thread Basile Starynkevitch
) Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

ICE with atomic_store

2014-06-18 Thread Basile Starynkevitch
did not test it on the trunk yet) (For some strange reason, probably on my side, I'm not able to change the password on bugzilla. So I'm reporting that bug here, sorry for the inconvenience). Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email

Re: Gcc plugin for modification of source code ?

2014-06-14 Thread Basile Starynkevitch
++ source file) is probably simpler. What exactly do you want to achieve? Are you sure that a source to source transformation is worthwhile -given that you can transform internal GCC representations like Gimples-? Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email

Re: How can I get started as a GCC developer

2014-06-10 Thread Basile Starynkevitch
/ for more). Read in particular my latest slides http://gcc-melt.org/gcc-plugin-MELT-LinuxCollabSummit2014.pdf (GCC plugins thru the MELT examples). They give a lot of pointers. Don't forget to read http://www.cse.iitb.ac.in/grc/ Regards. -- Basile STARYNKEVITCH http

Re: Roadmap for 4.9.1, 4.10.0 and onwards?

2014-05-20 Thread Basile Starynkevitch
committee knows a lot more than you and me. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

Re: True no-exceptions mode?

2014-05-18 Thread Basile Starynkevitch
/ for more) or some plugin (in C++) which would at least check that no exception gimple is going thru. This might be adding a pass which would detect and bark when exception-related gimples are used. Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email

slides of talk on GCC plugins thru the MELT example (Linux F. Collab. S)

2014-03-29 Thread Basile Starynkevitch
/gcc-plugin-MELT-LinuxCollabSummit2014.pdf There should be useful to anyone interested in GCC plugins or MELT extensions Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine

Ping^3 GCC trunk 4.9: documentation patch on plugins

2014-03-18 Thread Basile Starynkevitch
On Sat, 2014-03-08 at 11:15 +0100, Basile Starynkevitch wrote: I am pinging again this documentation patch http://gcc.gnu.org/ml/gcc-patches/2014-02/msg00074.html (pinged at http://gcc.gnu.org/ml/gcc-patches/2014-02/msg01002.html on febµ.17th 2014) and also pinged at http://gcc.gnu.org/ml/gcc

Re: Ping^3 GCC trunk 4.9: documentation patch on plugins

2014-03-18 Thread Basile Starynkevitch
-18 Basile Starynkevitch bas...@starynkevitch.net * plugin.def: Improve comment for PLUGIN_INCLUDE_FILE. * doc/plugins.texi (Plugin callbacks): Mention PLUGIN_INCLUDE_FILE. Italicize plugin event names in description. Explain that PLUGIN_PRAGMAS has

Re: Ping^3 GCC trunk 4.9: documentation patch on plugins

2014-03-18 Thread Basile Starynkevitch
/ s/For an example of using such a pragma/For example/ Thanks for the review. Committed revision 208660. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions

Re: Inquireries

2014-03-15 Thread Basile Starynkevitch
/branches/melt-branch/gcc/obsolete-melt/xtramelt-c-generator.melt Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les

status of current_pass (notably in gates) .... [possible bug in 4.9]

2014-03-10 Thread Basile Starynkevitch
in dump_one_pass Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

Re: GNU C extension: Function Error vs. Success

2014-03-10 Thread Basile Starynkevitch
you have implemented a builtin and a pragma you could use preprocessor macros to make these look more like your syntax. I would believe that MELT is very well suited for such experiments. Regards. PS. Plugins cannot extend the C syntax (except thru attributes, builtins, pragmas). -- Basile

Ping^2 GCC trunk 4.9: documentation patch on plugins

2014-03-08 Thread Basile Starynkevitch
Hello All, I am pinging again this documentation patch http://gcc.gnu.org/ml/gcc-patches/2014-02/msg00074.html (pinged at http://gcc.gnu.org/ml/gcc-patches/2014-02/msg01002.html on febµ.17th 2014) gcc/ChangeLog entry 2014-03-08 Basile Starynkevitch bas...@starynkevitch.net

Re: [PATCH] Add some more headers to PLUGIN_HEADERS (PR plugins/59335)

2014-03-05 Thread Basile Starynkevitch
On Wed, 2014-03-05 at 15:00 +0100, Jakub Jelinek wrote: Hi! The PR requests beyond the already commited ones some further headers. Tested with make install, ok for trunk? I am not authorized to approve that, but I hope it will be committed. Cheers. -- Basile STARYNKEVITCH http

Re: [RFC] Meta-description for tree and gimple folding

2014-02-28 Thread Basile Starynkevitch
On Thu, 2014-02-27 at 15:34 +0100, Richard Biener wrote: I've been hacking on a prototype that generates matching and simplification code from a meta-description. For what it is worth, MELT has a similar feature. http://gcc-melt.org/ regards -- Basile STARYNKEVITCH http

Re: proposal to turn on some warnings by default

2014-02-27 Thread Basile Starynkevitch
BTWX, when I teach some courses and have students use GCC I require them to pass -Wall and to do the necessary to avoid any warnings. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340

Re: Addition of options in GCC

2014-02-24 Thread Basile Starynkevitch
. This file contains some other options like the -w and -Q options. gcc is mostly a driver program. The real work happens in cc1 or cc1plus (which is started by gcc). So you need to look inside gcc/toplev.c and gcc/*.opt files Regards. -- Basile STARYNKEVITCH http://starynkevitch.net

Re: Help Required on Missing GOTO statements in Gimple/SSA/CFG Pass ...

2014-02-17 Thread Basile Starynkevitch
using MELT http://gcc-melt.org/ to code your GCC extension? -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

Ping GCC trunk 4.9: documentation patch on plugins

2014-02-17 Thread Basile Starynkevitch
Hello All, I am pinging this documentation patch http://gcc.gnu.org/ml/gcc-patches/2014-02/msg00074.html Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France

Re: question about gtype-desc.c

2014-02-04 Thread Basile Starynkevitch
#if 0. [...] Yes. gengtype, the utility creating gtype-desc.c, does not care about the C++ preprocessing. Ideally, I believe it should, but that is hard work. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la

GCC trunk 4.9: documentation patch on plugins

2014-02-03 Thread Basile Starynkevitch
Dear all, The attached patch to trunk svn.rev 207422 is slightly improving the documentation of plugins (notably the few features bugfixes I have introduced in 4.9) gcc/ChangeLog entry 2014-02-03 Basile Starynkevitch bas...@starynkevitch.net * doc/plugins.texi (Plugin

implementation optimization of std::function with and without allocator

2014-01-25 Thread Basile Starynkevitch
mysterious to me)... Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

checking GPL compatibility in MELT meta-plugin

2014-01-23 Thread Basile Starynkevitch
any date for its future release). PPS: I have some meeting tomorrow and might not have time to read or answer emails. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France

Re: checking GPL compatibility in MELT meta-plugin

2014-01-23 Thread Basile Starynkevitch
On Thu, 2014-01-23 at 17:42 -0800, Ian Lance Taylor wrote: On Thu, Jan 23, 2014 at 1:28 PM, Basile Starynkevitch bas...@starynkevitch.net wrote: Reminder: IANAL, ie I (Basile) am not a lawyer! But I am a free software enthusiast and I like a lot the GPLv3 As you know, GCC has some

Ann: MELT 1.0.2 plugin for GCC 4.7 4.8 (bug-fixing release)

2013-12-17 Thread Basile Starynkevitch
to my students at Univ. Pierre et Marie Curie, Paris, France (notably Boris de Finance and others) for reporting the bug. Please report bugs and ask questions on the gcc-melt googlegroup: https://groups.google.com/forum/#!topic/gcc-melt i.e. gcc-m...@googlegroups.com Regards. -- Basile

Re: [RFC] Replace Java with Go in default languages

2013-11-20 Thread Basile Starynkevitch
your work on Go in GCC; the one major thing I miss in Go is dynamic loading à la dlopen). Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions

Re: patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-19 Thread Basile Starynkevitch
On Mon, Nov 18, 2013 at 10:50:10PM +, Joseph S. Myers wrote: On Mon, 18 Nov 2013, Basile Starynkevitch wrote: @@ -43,6 +44,7 @@ TARGET_OPTF. */ #include tm_p.h /* For C_COMMON_OVERRIDE_OPTIONS. */ + #ifndef DOLLARS_IN_IDENTIFIERS

Re: patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-19 Thread Basile Starynkevitch
On Tue, 2013-11-19 at 16:16 +, Joseph S. Myers wrote: On Tue, 19 Nov 2013, Basile Starynkevitch wrote: Thanks for your attention. I am attaching a slightly improved patch against trunk svn rev. 305009 (the improvements are removing the spurious diff hunk, and better comments

Re: patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-19 Thread Basile Starynkevitch
? (BTW, I thought that GCC plugins never worked on MacOSX or on Windows) Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont

Re: patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-19 Thread Basile Starynkevitch
that I could apply it under the obvious bugfix rule. Could you check that it works on your MacOSX? Apologies for my mistake. Thanks -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La

Re: patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-19 Thread Basile Starynkevitch
, and another is the tiny fix on that function in plugin.c ### gcc/ChangeLog entry 2013-11-19 Basile Starynkevitch bas...@starynkevitch.net * plugin.def: Add comment about register_callback and invoke_plugin_callbacks_full. * plugin.c (register_callback

Re: PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-18 Thread Basile Starynkevitch
On Mon, 2013-11-18 at 13:17 +, Joseph S. Myers wrote: On Sun, 17 Nov 2013, Basile Starynkevitch wrote: What would be the good way to add such a plugin event to GCC 4.9? See the cpp_callbacks structure, used to make diagnostics go through GCC's diagnostics machinery, for example. I'm

patch PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-18 Thread Basile Starynkevitch
, +const_castchar* (ORDINARY_MAP_FILE_NAME (new_map))); +} + if (new_map == 0 || (new_map-reason == LC_LEAVE MAIN_FILE_P (new_map))) { pch_cpp_save_state (); ### gcc/ChangeLog entry 2013-11-18 Basile Starynkevitch bas...@starynkevitch.net

PLUGIN_HEADER_FILE event for tracing of header inclusions.

2013-11-17 Thread Basile Starynkevitch
...) is unhappy (because this requires -I$(srcdir)/../gcc to be added in the Makefile.in of libcpp/) What would be the good way to add such a plugin event to GCC 4.9? Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501

Re: Add __auto_type C extension, use it in stdatomic.h

2013-11-13 Thread Basile Starynkevitch
of stdatomic.h since it is genuinely useful by itself (e.g. as an alternative to typeof). Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine

patch ping: diagnostics finalization and plugins

2013-11-11 Thread Basile Starynkevitch
diagnostics here. */ invoke_plugin_callbacks (PLUGIN_FINISH, NULL); + diagnostic_finish (global_dc); + finalize_plugins (); location_adhoc_data_fini (line_table); if (seen_error () || werrorcount) gcc/ChangeLog entry 2013-11-11 Basile Starynkevitch bas

Re: [patch] Create gimple-expr..[ch] ... was Re: RFC: gimple.[ch] break apart

2013-11-07 Thread Basile Starynkevitch
; such files should have a .cc (or maybe .cpp or .cxx) extension, not a .c extension. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont

Re: [PATCH 0/6] Conversion of gimple types to C++ inheritance (v3)

2013-10-31 Thread Basile Starynkevitch
Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

Ann: MELT 1.0 plugin for GCC 4.7 4.8

2013-10-29 Thread Basile Starynkevitch
. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

Re: [PATCH] make gengtype more robust against user error

2013-10-25 Thread Basile Starynkevitch
accepted. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basileatstarynkevitchdotnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***

  1   2   3   4   5   6   7   8   9   10   >