DID YOU SEE THIS? The Street is Talking...

2012-10-08 Thread Rosabella Hamm
The News Are Out: S R_G L plans to BUY Prolific Mexican Mineral Properties. "10,000 contiguous hectares of 100% title interest Gold and Silver leases"! This alone makes the price go thru the skies! Go buying S R_G L now. Buy Alert for: S R_G L for Tuesday October 9th! Trade: S R_G L Company Na

Re: DECL_STRUCT_FUNCTION(cgraphnode->decl) == NULL when attempting Link-Time Optimization in plugin

2012-10-08 Thread David Malcolm
On Mon, 2012-10-08 at 18:21 +0200, Richard Guenther wrote: > On Mon, Oct 8, 2012 at 5:17 PM, David Malcolm wrote: > > I'm working on a static analysis extension to GCC via my > > gcc-python-plugin [1] > > > > The analysis is interprocedural (memory leak detection, as it happens). > > I have it wor

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès > wrote: [...] >> So it looks like there’s additional state corresponding to these >> variables that needs updating? > > Ah, no, but I suppose TODO_update_address_taken doesn't really work at -O0 > so you need to fix t

Re: DECL_STRUCT_FUNCTION(cgraphnode->decl) == NULL when attempting Link-Time Optimization in plugin

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 5:17 PM, David Malcolm wrote: > I'm working on a static analysis extension to GCC via my > gcc-python-plugin [1] > > The analysis is interprocedural (memory leak detection, as it happens). > I have it working on one translation unit at a time, and I'm attempting > to get it

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 6:04 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: >> Richard Guenther skribis: >> >>> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: Richard Guenther skribis: > On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >> Richard Guent

DECL_STRUCT_FUNCTION(cgraphnode->decl) == NULL when attempting Link-Time Optimization in plugin

2012-10-08 Thread David Malcolm
I'm working on a static analysis extension to GCC via my gcc-python-plugin [1] The analysis is interprocedural (memory leak detection, as it happens). I have it working on one translation unit at a time, and I'm attempting to get it to work within Link Time Optimization so that it can see the inte

Re: Proposing switch -fsmart-pointers

2012-10-08 Thread Andrew Haley
On 10/06/2012 11:59 AM, _ wrote: > Not that I think that STL/Boost are not great solutions for many > problems out there. > But the fact is that there is and always will be c/c++ code that can't > and will not use it. But surely the set of people refusing to use C++ smart pointers is the same set

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 3:32 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> At -O0 no

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: >> Richard Guenther skribis: >> >>> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: Richard Guenther skribis: > At -O0 no virtual operands are produced. TODO_rebuild_alias only computes >

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 1:42 PM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >>> Richard Guenther skribis: >>> At -O0 no virtual operands are produced. TODO_rebuild_alias only computes points-to sets which are in itse

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: >> Richard Guenther skribis: >> >>> At -O0 no virtual operands are produced. TODO_rebuild_alias only computes >>> points-to sets which are in itself not useful. >>> >>> What do you want to achieve with TODO_reb

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:58 AM, Ludovic Courtès wrote: > Richard Guenther skribis: > >> At -O0 no virtual operands are produced. TODO_rebuild_alias only computes >> points-to sets which are in itself not useful. >> >> What do you want to achieve with TODO_rebuild_alias? > > I basically want to

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Richard Guenther skribis: > At -O0 no virtual operands are produced. TODO_rebuild_alias only computes > points-to sets which are in itself not useful. > > What do you want to achieve with TODO_rebuild_alias? I basically want to use ‘ptr_derefs_may_alias_p’ in this particular pass. Thanks, Ludo

Re: TODO_rebuild_alias and -O0

2012-10-08 Thread Richard Guenther
On Mon, Oct 8, 2012 at 11:26 AM, Ludovic Courtès wrote: > Hello, > > Consider the attached plug-in, which adds a new dummy pass after the > “ssa” pass, with ‘TODO_rebuild_alias’ as its start flags: > > > > When compiling with -O0 a non-trivial file with that plug-in, one ends > up with: > > numb

TODO_rebuild_alias and -O0

2012-10-08 Thread Ludovic Courtès
Hello, Consider the attached plug-in, which adds a new dummy pass after the “ssa” pass, with ‘TODO_rebuild_alias’ as its start flags: #include #include #include #include int plugin_is_GPL_compatible; static unsigned int my_pass (void) { return 0; } static struct opt_pass pass_dummy =

Re: Proposing switch -fsmart-pointers

2012-10-08 Thread Florian Weimer
On 10/05/2012 06:08 PM, _ wrote: What you guys think about this? I think we should wait if the Rust folks come up with a sound (in the type-theoretic sense) and useful (in terms of programmer burden) solution. After that, we can contemplate whether we can retrofit their solution onto C/C++