[gengtype] are mark_hook GTY still working? Perhaps not!

anches/melt-branch/gcc/melt/generated/gt-melt-runtime-plugin.h?revision=162179&view=markup Does any one have a working example of mark_hook GTY? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencer

Re: x86 assembler syntax

ld prefer having gcc-...@gcc.gnu.org (which takes the role of current gcc@gcc.gnu.org) and keeping the existing gcc-h...@gcc.gnu.org But if we re-purpose gcc@gcc.gnu.org we'll get there a lot of messages asking for help. My feeling is that it is a much too used list to be re-assigned. Cheer

Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

anguage, and that we are culturally & geographically very far away from most of [North-American] GCC developers (and have different timezone, ours is MEST = GMT+2hours today). We feel that our patch should get into 4.6 otherwise it would still be impractical to build plugins needing GTY. C

Re: Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

whole thing work. A big thanks for your comments. Cheers -- 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} ***

Re: Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

Hello On Wed, 2010-08-25 at 06:50 -0700, Ian Lance Taylor wrote: > Basile Starynkevitch writes: > > > On Tue, 2010-08-24 at 15:19 -0700, Ian Lance Taylor wrote: > >> > >> > However, our patch also added some improvements to gengtype itself > >> >

Re: Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

output of gengtype. As far as I understand, our patch -in its current state- don't change it (except for the bug we are hunting; to be fair, the output is not changed for C frontend & gcc middle-end & back-end, and we still have a bug for gengtyping C++ frontend since a #define is incorrectly missing in the generated gtype-desc.h). We will work on that bug tomorrow. Cheers. -- 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} ***

Re: Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

On Thu, 2010-08-26 at 12:23 +0200, Paolo Bonzini wrote: > On 08/24/2010 07:38 PM, Basile Starynkevitch wrote: > > (actually, this happened to us before e.g. > > http://gcc.gnu.org/ml/gcc-patches/2010-06/msg02178.html etc). > > Sorry, but that's what happens when

Re: Improving gengtype (for plugin support notably) - how to get a rather big patch accepted?

On Thu, 2010-08-26 at 10:41 -0700, Ian Lance Taylor wrote: > Basile Starynkevitch writes: > > > On Thu, 2010-08-26 at 12:23 +0200, Paolo Bonzini wrote: > >> On 08/24/2010 07:38 PM, Basile Starynkevitch wrote: > >> > (actually, this happened to us before e.g.

Re: Gengtype : strange code in output_type_enum

(since gengtype is a code generator with *global* side effects on GCC code; it could happen that some partial change work for C but not C++ or Ada parts.). I will perhaps propose a few *related* patches on gengtype this week-end, if I am motivated enough to work on it. Cheers. -- Basile STARYNKEVI

Re: Guidance needed: hi-level steps to track an object until its destruction

of the following C++ code has been magically added extern "C" YourClass* hunted_yourclass_pointer; extern "C" void some_error_routine(void); if (this == hunted_yourclass_pointer) some_error_routine(); But I am not sure you want to do that. Cheers. -- Basile STARYNKEVITCH

Re: Guidance needed: hi-level steps to track an object until its destruction

too). It is in that light that I would like to point > out that your use of word "impossible" is a little too strong. Perhaps you > mean > difficult. It is impossible if you want exact information. Yes, that is what I meant. Any compile-time tool produces some abstraction. Reg

GCC summit tutorial proposal: Easily coding a GCC extension with MELT

tions (notably Gimple and Tree). The third part of the tutorial will detail how to code real GCC passes in MELT and suggest possible MELT extensions for several specific domains. It will give some insight on the internals of MELT. === Regards. -- Basile STARYNKEVITCH http://starynkevi

structures & param_structures in gengtype

ctures' variable in gengtype.c Could you confirm that impression? Bonus question, why? Cheers. -- 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

Re: structures & param_structures in gengtype

On Mon, 6 Sep 2010 06:36:48 +0300 Laurynas Biveinis wrote: > 2010/9/2 Basile Starynkevitch : > > Hello Laurynas, Diego & all the list. > > > > A precise question about gengtype (the current trunk one) > > > > I have the impression that every member o

who can & want to review gengtype patches?

Hello All, We (= Basile Starynkevitch + Jeremie Salvucci) have worked on improving gengtype, notably for plugins (the state of gengtype after having parsed all the files is persisted and may be re-used by plugins using GTY without requiring availability of GCC source & build tree.). We

Re: How to parse a code snippet at front-end plugin

h provides pattern matching facilities on Gimple to make such tasks much simpler. You still have to understand Gimple & Tree in detail and find a good position in the pass machinery to insert your new pass or passes. If you succeed in making such a plugin please tell us. I would be d

GCC plugins [those not listed in the wiki]

gcc-4.5 today! Perhaps we have to wait a bit. When talking about GCC or MELT, I always introduce the idea of application- or project- specific GCC plugins. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la

plugin hooks for plugin-provided builtins?

ntend to code something more flexible, by having plugin able to register a builtin expanding function with some client data. But is the overall idea enough, or did I misunderstood builtins? Could such a small patch be accepted before end of stage 1? Cheers -- Basile STARYNKEVITCH

plugin hooks for plugin-provided macros?

add CPP directives like #pinclude etc.. but we should make sure that the same is achievable using plugin provided #pragma-s. Is it really the case? Are #pragma-s handled by libcpp somehow? Can the current trunk achieve the goals of #pinclude thru a pragma provided by a plugin? Regards

Re: plugin hooks for plugin-provided builtins?

On Tue, Sep 14, 2010 at 10:12:18AM -0400, Diego Novillo wrote: > On Tue, Sep 14, 2010 at 09:36, Basile Starynkevitch > wrote: > > > I was thinking of adding a new plugin hook for builtins. > Plugin hooks should only be added when an actual need arises. Adding > hooks f

Re: plugin hooks for plugin-provided builtins?

On Tue, 14 Sep 2010 09:39:21 -0600 Marcus Daniels wrote: > On 9/14/10 8:46 AM, Basile Starynkevitch wrote: > > My current work aims to translate some Gimple into OpenCL source > > code, thus providing GCC with the ability to take advantage of GPU > > running the

Re: plugin hooks for plugin-provided builtins?

monstrating the usefulness of the hook? If it is a big plugin requiring a whole year of development effort, how can that be developped without the hook? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de

Re: plugin hooks for plugin-provided builtins?

On Tue, 14 Sep 2010 11:21:51 -0600 Marcus Daniels wrote: > On 9/14/10 10:58 AM, Basile Starynkevitch wrote: > >> It seems to me a "source to source" compiler should definitely retain > >> high level constructs like array operators, DO ALL, OpenMP directives

Re: plugin hooks for plugin-provided builtins?

working in the current GC (I suppose you mean gcc/ggc*.c files). Is it becoming a GC or gengtype reviewer? [I will answer to other points in your email later] Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue d

gengtype indentation issues

(Diego Novillo, Ian Taylor, someone else?) is able to give me his precious time (and that includes teaching me face to face, on the same physical keyboard, how to indent gengtype.c code according to his preference), please tell me much in advance (i.e. before Tuesday september 28th 2010

Re: gengtype indentation issues

on't understand what concrete steps are you suggesting. As explained above, I am using M-x indent-region but it does indent gengtype code because gengtype is mis-indented from the beginning. Maybe my patches will never go into trunk because of indentation issues (I cannot afford inden

Re: Simple development GCC and G++

Andrew Appel's "Compiling with Continuations" book. But that won't work for old C code (unless you radically change the ABI to something very incompatible). Cheers. -- 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 mines, sont seulement les miennes} ***

Re: Simple development GCC and G++

Unfortunately, I don't have any Windows system (I am a free software enthusiast, using Linux since 1993, and Unix before that). And I am not particularily fond of coding in C or C#. Thanks for your detailed reply. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilest

Re: Map tree to properties

er? MELT does provide that, but MELT is a plugin (or a branch). See http://gcc.gnu.org/wiki/MELT 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 on

rules for svn commit-ing a [gengtype] patch?

Maybe there is something about svn commit (social) rules I did not understand? Or should I ping our patches more often? Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine

Re: rules for svn commit-ing a [gengtype] patch?

On Thu, 07 Oct 2010 10:55:46 -0700 Ian Lance Taylor wrote: > Basile Starynkevitch writes: > > > Can we svn commit a patch after having compiled with a comment (like > > those of Laurynas) without an Ok from a reviewer? (I believe not, but I > > am thinking that some

Re: GCC and out-of-range constant array indexes?

in the compiler are mostly in the middle end, and that getting such warnings are a side effect). Cheers. -- 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} ***

Re: GCC and out-of-range constant array indexes?

On Fri, 8 Oct 2010 09:54:07 -0700 Gary Funck wrote: > On 10/08/10 18:38:29, Basile Starynkevitch wrote: > > I am not an expert on these optimizations, but why would you want that? > > I routinely compile/build with "-O0 -g3" because the code is easier to debug.

Re: GCC and out-of-range constant array indexes?

On Fri, 08 Oct 2010 11:03:27 -0700 Ian Lance Taylor wrote: > Basile Starynkevitch writes: > > > Howeer, I see a logic in needing -O2 to get some warnings. > > Optimizations are expensive, and they compute static properties of the > > source code, which are usable (&

forcing the linker to be a particular one (i.e. gold vs bfd)

used? Something like CC='gcc -fforce-ld=/usr/bin/ld.bfd' ? Or, if there is some other way (excluding dirty PATH manipuation), document it better perhaps in http://gcc.gnu.org/onlinedocs/gcc/Link-Options.html#Link-Options Regards. -- Basile STARYNKEVITCH http://starynkevitch.ne

Re: forcing the linker to be a particular one (i.e. gold vs bfd)

since this is the system you mention), you can just use: > gcc -B/usr/lib/compat-ld > gcc -B/usr/lib/gold-ld > to select the ld you want. Thanks for the tip! Perhaps we should add a sentence about it in the documentation? Cheers -- Basile STARYNKEVITCH http:

Re: forcing the linker to be a particular one (i.e. gold vs bfd)

ogram it tries to run, both with and without `MACHINE/VERSION/' > (*note Target Options::). > I was thinking to add a sentence like "The -BPREFIX option can be useful to force a particular ld to be used" in the Linker options section. But maybe that is n

unsupported symbol binding (probably GOLD related) when building trunk?

oundation, Inc. This program is free software; you may redistribute it under the terms of the GNU General Public License version 3 or (at your option) a later version. This program has absolutely no warranty. What did I do wrong? Cheers. -- Basile STARYNKEVITCH http://starynkevitch

rehearsal of GCC Summit tutorial "Easily coding a GCC extension with MELT" (at IRILL, Paris, France oct.20th 2010)

RILL, 25 avenue d'Italie, 75014 Paris http://www.irill.org/ le mercredi 20 octobre 2010 à 10h du matin. -- 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} ***

[trunk] hard-reg-set.h not installed in plugins/include

bug in the MELT branch, but it follows the trunk in that respect). Did anyone installed the trunk recently and compiled a plugin including "gimple.h" for it? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8,

Re: [trunk] hard-reg-set.h not installed in plugins/include

On Sat, 16 Oct 2010 23:14:18 +0200 Basile Starynkevitch wrote: > > Hello, > > It seems that the file hard-reg-set.h is included from gimple.h > but it is not installed in the PLUGIN_HEADERS (inside gcc/Makefile.in) > > So I believe that any plugin for gcc trunk (at le

Re: [trunk] hard-reg-set.h not installed in plugins/include

On Sat, 16 Oct 2010 23:28:37 +0200 Basile Starynkevitch wrote: > > I believe that $(REGSET_H) should be added to $(PLUGIN_HEADERS) near > line 4506 of gcc/Makefile.in [but I don't propose a patch now, because > I really would prefer my > http://gcc.gnu.org/ml/gcc-patches/2

please help on makefile bug in MELT (plugin, not branch)

melt-first.1.c'. What does stem means in the context of make? ### The funny thing is that the same melt-make.mk Makefile is used (perhaps in a slightly different context) when building GCC MELT branch and it works. Perhaps I have a vpath issue somewhere. Cheers. -- Basile STARYNKEVI

some questions to GCC steering commitee (at GCC Summit) related to documentation from code

derstand why planes might not take off from Paris Charles de Gaulle airport... :-) :-) :-) [and even I cannot explain the details of transportation strikes in France] Cheers. BTW I strongly believe that such documentation issues are not specific to GCC MELT. They will & should happen, especiall

Re: some questions to GCC steering commitee (at GCC Summit) related to documentation from code

On Sun, 17 Oct 2010 22:34:47 +0100 Jonathan Wakely wrote: > On 17 October 2010 22:16, Basile Starynkevitch wrote: > > > > So I will ask face to face practical advices on these issues, in > > particular I need to understand who is able to give me constructive &

Re: Plug-in Licensing

ing the rules wanted by most GCC contributors, and that GCC maintainers could have a glance inside them. I might be happy being able to do that. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bou

gengtype installation (where, how)?

state somewhere, and having the user developping a plugin with GTY-s invoking it. So gengtype is becoming a user-visible program and have to be installed. I have no ideas about the details.. Cheers -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet

Re: Preprocessor (cpp) separate binary

rest of the GCC community. Cheers. -- 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} ***

dual result function & ABI (using extra register), e.g. for Go

some future work? Cheers. -- 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} ***

Re: is gcc garbage collector compacting?

place. > I could output markers before/after the chunk I want though. > > > Or, maybe the files do get preprocessed? No they are not preprocessed before gengtype is run. > Evidence is no, as when #if 0'ed out some types, gengtype still saw them. Yep. But you did not expl

Re: is gcc garbage collector compacting?

rhaps use GCC 4.5 with a special plugin (or a MELT extension). The dirty trick would be that you will run gcc-4.5 on some empty.c but your plugin (or MELT extension), inside its own pass, would add the real GIMPLE-s (& tree-s) or Generic-s representing the Modula-3 source code. Ch

several SSH keys to access svn+ssh:gcc.gnu.org

.org/wiki/SSH_connection_caching is suggesting ssh gcc.gnu.org appendkey -- does it work as I understand? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opin

more robust debug_bb?

s is a SIMPLE IPA pass so don't have any cfun. Would a patch defining #define profile_status (cfun?(cfun->cfg->x_profile_status):PROFILE_ABSENT) be acceptable? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501

Re: more robust debug_bb?

On Mon, 22 Nov 2010 17:28:21 +0100 Richard Guenther wrote: > On Mon, Nov 22, 2010 at 4:43 PM, Basile Starynkevitch > wrote: > > Hello All, > > > > While debugging a MELT pass, I am sigsegv in debug_bb. > > > > The culprit is check_bb_profile which

configure related issue: syntax error near unexpected token `c++

/configure: line 13361: `*, c++,*) ;;' Does anyone have an idea of what I am doing wrong? AFAIK, trunk still requires autoconf 2.64? Or what is the correct procedure to regenerate a correct ./configure ? Cheers. -- Basile STARYNKEVITCH http://star

Mixing simple & complex IPA passes...?

_pass_info->pass->type || ((pass->type == IPA_PASS || pass->type == SIMPLE_IPA_PASS) && (new_pass_info->pass->type == IPA_PASS || new_pass_info->pass->type == SIMPLE_IPA_PASS)) instead? Cheers! -- Basile STARYN

Re: Update LTO plugin interface

friendly? Is it about an interface inside the GOLD linker to dlopen the LTO plugin provided with GCC sources? Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France ***

installing & testing gengtype?

lease? Or should I open a PR about that? Cheers. -- 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} ***

Re: A possible super feature to add to gcc

few months (at least for a person not extremly familiar with GCC internals). If you fund an intern to explore doing the work using GCC MELT, I would be delighted to help him on the MELT specific. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitc

Re: Behavior change of driver on multiple input assembly files

ers, and happy new year to every one! -- 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} ***

Re: Dumb idea for accelerating FOSS development

cc itself (we don't have any plugin hooks inside gcc/gcc.h yet). Regards. PS. I would believe most GCC contributors won't be interested. -- 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 mines, sont seulement les miennes} ***

GCC informal meetings at IRILL (Paris, France)

our laptop with your GCC work! IRILL is a nice, new, place: colored offices, warm persons... (I will be delighted to talk about GCC MELT, and uderstand more about passes & graphite, you can bring other subjects.). Regards -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ ema

Re: PLUGIN_FINISH_TYPE not executed for enums

> > for RID_STRUCT and RID_UNION but not for RID_ENUM. Is this an > oversight or on purpose? I believe it is a bug, and I hope it could be fixed before 4.6 Cheers -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8,

Re: Plugin that parse tree

On Sun, 23 Jan 2011 11:58:21 +0100 Daniel Marjamäki wrote: > Hello! > > I want to write a plugin that parse the AST. Could I get some hint > about how to do it? You could use GCC MELT for that purpose. See www.gcc-melt.org Regards -- Basile STARYNKEVITCH http://stary

Re: Plugin that parse tree

not be one... The purpose of MELT is to avoid coding plugins in C! >> I want to write a plugin that parse the AST. Could I get some hint >> about how to do it? The major issue is to understand all the details of GCC internal representations (i.e. Trees, Gimples). Did you understand t

Re: Heads up: please help documenting *internal* GCC changes for 4.6

eding the availability of the GCC compiler source and build trees Comments are welcome. 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} ***

Re: [boehms-gc] Performance results

.net/Basile/qishintro.html In practice, this would be impractical (even if the GTY marker could help) because it requires changing a lot of code. I've got no explanation regarding zero-ing pointers penalties. Maybe (just a guess) some cache effect? Regards -- Basile STA

MyGCC and whole program static analysis

escription of their format and persistence machineray (I've read their introductory paper). BTW, I am still a newbie on GCC... Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet aliases: basiletunesorg = bstarynknerimnet 8, rue de la Fa

Re: MyGCC and whole program static analysis

to it. It is sad to have to google to find their patch, it would be simpler if they linked it (or even gave full source tarball). Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet aliases: basiletunesorg = bstarynknerimnet 8, rue de la Faï

LTO (link time optimisation) branch (and IPO)?

Author: sandra Last Changed Rev: 116947 Last Changed Date: 2006-09-14 17:17:36 +0200 (Thu, 14 Sep 2006) Is there some common work or ideas between LTO (link time optimisation) and IPO (inter procedural optimisation) branches? Regards -- Basile STARYNKEVITCH http://starynkevitch.net

source location of a tree node

the tree (Gimple/ssa) nodes do not have any positions with them. What is the policy on this? When transforming trees, do we have to provide the location in the source code of the transformed tree. Apologies for such a naive question, but I tried to find out for one hour without success! Thanks fo

GCC [RFC] Whole Program Devirtualization

...@cea.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/

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

  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

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

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

Your GSoc'22 submission for GCC

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 opin

GSoC: Working on the static analyzer

https://frama-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/

Re: GSoC: Working on the static analyzer

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

GCC -ftime-trace

clock_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

static analysis in GCC (starting from Bismon plugin)

) Cheers 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 Starynkevi

No warning about duplicate values in enum

erSys open 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/

Re: No warning about duplicate values in enum

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

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

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: More C type errors by default for GCC 14

/ and https://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/

About the effect of "O0" on inlining into a function

add such a behavior. (I think that your plugin should be open source) -- Basile STARYNKEVITCH 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ -gives my mobile number +33 6 8501 See/voir: https://github.com/RefPerSys/RefPerSys

Re: Obtaining a callsite address.

ly do you mean by "callsite"). However, the called function can be obtained by gimple_call_fndecl which gives a tree. If using MELT http://gcc-melt.org/ you just use a gimple_call pattern... Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestaryn

Re: Obtaining a callsite address.

On Sun, Mar 10, 2013 at 10:54:39PM +1100, Matt Davis wrote: > On Sun, Mar 10, 2013 at 9:35 PM, Basile Starynkevitch > wrote: > > On Sun, Mar 10, 2013 at 01:51:04PM +1100, Matt Davis wrote: > >> I have a GIMPLE_CALL gimple object. I want to get the tree node > >>

Re: Simple way to pass new #pragma to GIMPLE

better yet a MELT extension (see http://gcc-melt.org/ for more about MELT which is a high-level domain specific language to extend GCC) to add your pragmas. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6

Re: -Og changes on 4.7.3?

personal use it is so much simpler to just build GCC 4.8 and use it. No good reason to stick to a patched GCC 4.7 Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opin

libbacktrace & plugins....

inside plugins (at least those compiled with -g). Is is reasonably feasible? I'm not familiar with libbacktrace, but (since MELT would be very happy with that) I might perhaps help Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet m

Re: libbacktrace & plugins....

On Mon, May 20, 2013 at 08:43:06AM -0700, Ian Lance Taylor wrote: > On Mon, May 20, 2013 at 7:31 AM, Basile Starynkevitch > wrote: > > > > Currently (for GCC 4.8 at least) when a plugin crashes (ie. SIGSEGV) > > libbacktrace is apparently not able > > to show ba

MELT 0.9.9 rc1 plugin release candidate for GCC 4.6, 4.7, 4.8

ny bug fixes and internal improvements... Emitted C/C++ code contains more checks.. *** * More primitives and functions # Please download and report bugs on gcc-m...@googlegroups.com Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestar

MELT 0.9.9 rc2 plugin release candidate for GCC 4.6, 4.7, 4.8

probably make this the 0.9.9 release of MELT plugin for GCC 4.6, 4.7, and 4.8 in a couple of days. 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

MELT 0.9.9 rc3 plugin release candidate for GCC 4.6, 4.7, 4.8

successes and bugs on gcc-melt list at googlegroups.com : gcc-m...@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 mines, sont seulement les miennes} ***

Ann: MELT 0.9.9 plugin release for GCC 4.6, 4.7, 4.8

t : gcc-m...@googlegroup.com (within a day, I will also announce on SourceForge & FreeCode ...) 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 mines, sont seulement les miennes} ***

Re: New file extension

onfused). So I am in favor of a massive renaming. (But please do it in one single huge svn commit). Cheers -- 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 mines, sont seulement les miennes} ***

Re: New file extension

On Tue, Jul 30, 2013 at 11:51:35AM +, Joseph S. Myers wrote: > On Tue, 30 Jul 2013, Basile Starynkevitch wrote: > > > I think it is a good idea now (except perhaps for the very few source files > > which could still be compiled by a plain C, not C++, compiler; maybe we >

Re: Questions about LTO infrastructure and pragma omp target

e plugins are mentioned (and I guess Jakub was talking of linker plugins) I would add that GCC plugins might want to add (and later use) their own arbitrary LTO data in these sections. Cheers -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +

Re: [PATCH 0/6] Convert gimple to a C++ class hierarchy

cessing all of it (i.e. every GTY-ed class declaration), and have our gengtype successor plugin emit appropriate #if in the generated C++ code. Of course having gengtype replaced by a plugin requires such a plugin to be developed and GCC maintainers to have access to some gcc... Cheers -- Bas

where to insert a new Simple IPA [measuring] pass from a plugin ?

p://gcc.gnu.org/ml/gcc/2010-11/msg00638.html -- 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 mines, sont seulement les miennes} ***

automatic dependencies, adding new files in branch...

c \ gt-melt-runtime.h $(PLUGIN_H) $(TOPLEV_H) $(VERSION_H) \ | melt-runtime.args ls -l melt-runtime.args $(COMPILER) -c $(shell cat melt-runtime.args) $(OUTPUT_OPTION) ### But I cannot figure out easily how to adapt these rules to the new Makefile.in infrastru

<    1   2   3   4   5   6   7   8   9   >