Re: A weird bug

2021-03-04 Thread Andrew Pinski via Gcc
On Thu, Mar 4, 2021 at 3:19 PM Gary Oblock via Gcc wrote: > > Guys, > > I've been trying to debug a linker error (which I thought was a bug in > my optimization.) Well it turns out it occurs in a brand new virgin > version of the compiler running with binutils 2.36 which

GSoC 2021 - Static analyzer project

2021-03-05 Thread Ankur Saini via Gcc
gcc (https://gcc.gnu.org/wiki/SummerOfCode <https://gcc.gnu.org/wiki/SummerOfCode>), currently I am in process of reading this ( https://gcc.gnu.org/onlinedocs/gccint/Analyzer-Internals.html#Analyzer-Internals <https://gcc.gnu.org/onlinedocs/gccint/Analyzer-Internals.html#Analyzer-

Re: GSoC 2021 - Static analyzer project

2021-03-05 Thread David Malcolm via Gcc
On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote: > Hello, Hi Ankur > While looking for some project to contribute on for GSOC 2021, I came > across project about extending static analyser pass, especially the > part that involve adding C++ support to it. > > I

Re: GSoC 2021 - Static analyzer project

2021-03-08 Thread Ankur Saini via Gcc
> On 06-Mar-2021, at 6:05 AM, David Malcolm wrote: > > If you run the analyzer on your own code, and can trigger a false > positive or a false negative with the analyzer on it, and try to figure > out the issue, that could be a useful step (though it might turn out to > be a difficult one to fi

Re: static analysis above GCC (GSoC 2021)

2021-03-08 Thread Ankur Saini via Gcc
> On 06-Mar-2021, at 6:40 PM, Basile Starynkevitch > wrote: > > > > On Fri, 2021-03-05 at 17:04 +0530, Ankur Saini via Gcc wrote: >> Hello, > Hi Ankur > You could look at the DECODER European project on > https://www.decoder-project.eu/ <https:/

Re: DWZ 0.14 released

2021-03-09 Thread Hannes Domani via Gcc
Am Dienstag, 9. März 2021, 10:10:47 MEZ hat Mark Wielaard Folgendes geschrieben: > Hi Allan, > > On Tue, Mar 09, 2021 at 09:06:54AM +0100, Allan Sandfeld Jensen wrote: > > Btw, question for gcc/binutils > > > > Any reason the work done by tools like dwz couldn't

Re: DWZ 0.14 released

2021-03-09 Thread Jakub Jelinek via Gcc
On Tue, Mar 09, 2021 at 11:38:07AM +, Hannes Domani via Dwz wrote: > Am Dienstag, 9. März 2021, 10:10:47 MEZ hat Mark Wielaard > Folgendes geschrieben: > > > Hi Allan, > > > > On Tue, Mar 09, 2021 at 09:06:54AM +0100, Allan Sandfeld Jensen wrote: > >

side-effect-free function

2021-03-09 Thread Rasmus Villemoes via Gcc
tart = now(); do_something(); end = now(); debug("something took %lu\n", end - start); If debug() is a macro that expands to nothing (or an if(0) statement), the now() calls are actually redundant. But AFAIU one can't mark now() as pure, since gcc must not assume it returns the sam

Re: side-effect-free function

2021-03-09 Thread Martin Sebor via Gcc
On 3/9/21 8:05 AM, Rasmus Villemoes via Gcc wrote: Hi, Consider some function now() which returns some kind of "current timestamp" as a simple scalar. It could be a wrapper for clock_gettime(CLOCK_MONOTONIC) which converts the timespec value to nanoseconds, or in the linux kernel

Request for contribution to your project

2021-03-10 Thread divyanshu jamloki via Gcc
sir, I have plan about your site i have sent it but no one reply yet , i have been contribution to your project since Mon, 25 Jan 2021 at 19:26 now i would like to send you my gsoc proposal pdf where i have explained my ideas related to run time error and road map to solve it please help me as

Re: [PATCH] docs: add interactive vs batch distinction to UX guidelines

2021-03-10 Thread David Malcolm via Gcc
uses, and then have > > > > different > > > > default flags?  Perhaps something as simple as looking at the > > > > name > > > > used > > > > to call the compiler - "cc" or "gcc" ? > > > > > > >

Minor error on MIN() page

2021-03-10 Thread Russ Childers via Gcc
https://gcc.gnu.org/onlinedocs/gfortran/MIN.html ...says " The return value corresponds to the maximum value among the arguments, and has the same type and kind as the first argument. " Should be "minimum value" Best, Russ Childers

GSoC project idea

2021-03-10 Thread srishty bedi via Gcc
Greetings, First of all Congratulations to the gcc community on being selected for GSOC 2021. My name is Srishty Bedi, I am a sophomore pursuing btech CSE in India. .I am interested in web development and have worked with JS,HTML,CSS,bootstrap for front end and php,pug for backend. The ideas

IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Kito Cheng via Gcc
le to enable that for C++ like a language extension for C++? The main demand comes from the data type for half-precision, ISO/IEC TS 18661-3 is the only common spec which supports half-precision and both GCC and clang are supported. However it can't be used on C++ for GCC, so it's hard t

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Jonathan Wakely via Gcc
On Thu, 11 Mar 2021 at 09:43, Kito Cheng via Gcc wrote: > > Hi: > > Would it be possible to support interchange floating point and/or > extended floating point for C++, which is introduced by ISO/IEC TS > 18661-3? > > I've read the note about C++ support from the

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Gabriel Ravier via Gcc
On 3/11/21 1:56 PM, Jonathan Wakely via Gcc wrote: On Thu, 11 Mar 2021 at 09:43, Kito Cheng via Gcc wrote: Hi: Would it be possible to support interchange floating point and/or extended floating point for C++, which is introduced by ISO/IEC TS 18661-3? I've read the note about C++ su

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Jonathan Wakely via Gcc
On Thu, 11 Mar 2021 at 15:07, Gabriel Ravier via Gcc wrote: > > On 3/11/21 1:56 PM, Jonathan Wakely via Gcc wrote: > > On Thu, 11 Mar 2021 at 09:43, Kito Cheng via Gcc wrote: > >> Hi: > >> > >> Would it be possible to support interchange floating point an

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Jonathan Wakely via Gcc
On Thu, 11 Mar 2021 at 15:14, Jonathan Wakely wrote: > > On Thu, 11 Mar 2021 at 15:07, Gabriel Ravier via Gcc wrote: > > > > On 3/11/21 1:56 PM, Jonathan Wakely via Gcc wrote: > > > On Thu, 11 Mar 2021 at 09:43, Kito Cheng via Gcc wrote: > > >> Hi: > &

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Kito Cheng via Gcc
Hi Jonathan: Thanks for providing that information! On Fri, Mar 12, 2021 at 12:17 AM Jonathan Wakely via Gcc wrote: > > On Thu, 11 Mar 2021 at 15:14, Jonathan Wakely wrote: > > > > On Thu, 11 Mar 2021 at 15:07, Gabriel Ravier via Gcc > > wrote: > > > > >

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-11 Thread Kito Cheng via Gcc
Hi Joseph: > I don't know if C++ has reached any conclusions about what form C++ > support for such types should take, but my expectation was that something > library-based, similar to the support for decimal floating-point types, > might be used. Thanks, my understanding is that we are not inten

[RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Kito Cheng via Gcc
dates for that: 1. _Float16 2. __fp16 (Same as ACLE) 3. Other type names maybe __float16_t _Float16 was the best candidate since it kind of standard types from ISO/IEC TS 18661-3, and it already supported by both clang and gcc, however the issue is GCC don't support that on C++ mode and seems

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021 at 09:10, Kito Cheng via Gcc wrote: > > Hi: > > It's Kito, a RISC-V folks, recently RISC-V has an ISA extension draft > for IEEE half-precision operations [4], including arithmetic, > conversion, comparison...a full set of support for IEEE > hal

GSoC

2021-03-12 Thread ΓΙΩΡΓΟΣ ΛΙΑΚΟΠΟΥΛΟΣ via Gcc
To whom it may concern , My name is George Liakopoulos and I am an undergraduate student in the Department of Informatics at the University of Athens . The past 4 years I code in C/C++ , as my department is focused very much in these languages . I would like to contribute to one of your GSoc 2021

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Thu, 11 Mar 2021 at 15:32, Joseph Myers wrote: > > On Thu, 11 Mar 2021, Kito Cheng wrote: > > > I've read the note about C++ support from the initial commit log[1], > > so I know there is some concern about C++ support for that, is it > > possible to enable that for C++ like a language extensio

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Kito Cheng via Gcc
Hi Jonathan: > > C++ also has another proposal for extended floating-point types > > (https://wg21.link/p1467), which included half-precision types, so in > > my understanding, _Float16 won't be a portable typen between C/C++. > > Why not just make _Float16 availa

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Jonathan Wakely via Gcc
on't be a portable typen between C/C++. > > > > Why not just make _Float16 available in C++ as a GCC extension? > > Not sure it would introduce any ABI issue or not? Especially the function > name mangling for _Decimal* types, or maybe we could just implement the > interchanged f

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Jonathan Wakely via Gcc
included half-precision types, so in > > > > my understanding, _Float16 won't be a portable typen between C/C++. > > > > > > Why not just make _Float16 available in C++ as a GCC extension? > > > > Not sure it would introduce any ABI issue or not? Espe

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Kito Cheng via Gcc
Hi Jonathan: > I would forget about the decimal types. I thought you were just > talking about _Float16? > > You will need to decide on a mangling for it in C++, which should be > co-ordinated with other compilers that are likely to support the type. > You could mangle it as "u8_Float16" which is

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021 at 09:58, Kito Cheng wrote: > > Hi Jonathan: > > > I would forget about the decimal types. I thought you were just > > talking about _Float16? > > > > You will need to decide on a mangling for it in C++, which should be > > co-ordinated with other compilers that are likely to s

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-12 Thread Sjoerd Meijer via Gcc
Hello GCC, Greetings from Clang community! :-) I implemented _Float16 support in Clang. On the Clang mailing list the request was made if we could rebrand __fp16 to a native half-precision type in Clang, but only for RISC-V. I objected to that for a few different reasons, and learned that the

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021 at 12:26, Sjoerd Meijer via Gcc wrote: > So here's finally my concrete question: what do we think about making > _Float16 available in C++ mode? I think GCC should do it.

Re: GSoC project idea

2021-03-12 Thread David Malcolm via Gcc
On Thu, 2021-03-11 at 12:59 +0530, srishty bedi via Gcc wrote: > Greetings, Hi Srishty Various remarks inline below... > First of all Congratulations to the gcc community on being selected > for > GSOC 2021. > > My name is Srishty Bedi, I am a sophomore pursuing btech CSE i

[RFC][GCC][Vect] Add support for minmax + index pattern.

2021-03-12 Thread Joel Hutton via Gcc
Hi all, Some community members have shown interest in a patch I made a while back but didn't submit. I'm not looking to commit this at the moment, just to make it available (hence why I haven't sent it to gcc-patches)> This patch was based on master at the following

Re: DWZ 0.14 released

2021-03-12 Thread Nick Alcock via Gcc
On Tue, Mar 09, 2021 at 09:06:54AM +0100, Allan Sandfeld Jensen wrote: >> > > Btw, question for gcc/binutils >> > > >> > > Any reason the work done by tools like dwz couldn't be done in the >> > > compiler or >> > > linker? Seems a bit

Re: GSoC project idea

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021 at 15:35, David Malcolm via Gcc wrote: > On Thu, 2021-03-11 at 12:59 +0530, srishty bedi via Gcc wrote: > > 1) I was thinking that whenever we run a code on gcc compiler its > > beautify > > feature doesn't work well it shifts the whole code

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-12 Thread Gabriel Ravier via Gcc
On 3/12/21 7:07 PM, Joseph Myers wrote: On Fri, 12 Mar 2021, Jonathan Wakely via Gcc wrote: Why not just make _Float16 available in C++ as a GCC extension? There may be questions about promotions from _Float16 to wider formats for arithmetic. For C, there are no such promotions at the level

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021, 18:14 Joseph Myers, wrote: > On Fri, 12 Mar 2021, Joseph Myers wrote: > > > On Fri, 12 Mar 2021, Jonathan Wakely wrote: > > > > > On Fri, 12 Mar 2021 at 12:26, Sjoerd Meijer via Gcc > wrote: > > > > So here's finally my con

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-12 Thread Jonathan Wakely via Gcc
On Fri, 12 Mar 2021, 21:55 Joseph Myers, wrote: > On Fri, 12 Mar 2021, Jonathan Wakely via Gcc wrote: > > > I see less value in adding additional distinct types that don't add > > anything you can't already do. _Float16 gives you access to an entirely > n

Request for Copyright Assignment Form

2021-03-13 Thread Ansh Tyagi via Gcc
Hey, I would like to contribute in Rust-GCC/gccrs so I am requesting a Copyright Assignment Form. Let me know if there are any more steps to contribute. Thanks & Regards Ansh Tyagi

Re: Request for Copyright Assignment Form

2021-03-13 Thread David Edelsohn via Gcc
Replied off-list. Thanks, David On Sat, Mar 13, 2021 at 11:16 AM Ansh Tyagi via Gcc wrote: > > Hey, > I would like to contribute in Rust-GCC/gccrs so I am requesting a Copyright > Assignment Form. Let me know if there are any more steps to contribute. > > Thanks & Regards > Ansh Tyagi

negative indexes

2021-03-13 Thread Paul Edwards via Gcc
of constraining index registers to positive values? I want it to instead generate ALR 3,2 to add these two values together using 32-bit arithmetic, causing truncation at 32 bits, then it can do IC 15,0(3) (ie no index) I'm using GCC 3.2.3 using the i370 target if it makes a difference. Thanks. Paul.

Re: negative indexes

2021-03-14 Thread Richard Biener via Gcc
On March 14, 2021 6:55:32 AM GMT+01:00, Paul Edwards via Gcc wrote: >If I have code like this: > >char foo(char *p) >{ >return (p[-1]); >} > >It generates a negative index, like this: > >* Function foo code > L 2,=F'-1' > L

Re: negative indexes

2021-03-14 Thread Paul Edwards via Gcc
eally understand your answer. :-) ). Thanks. Paul. -Original Message- From: Richard Biener Sent: Sunday, March 14, 2021 7:05 PM To: Paul Edwards ; Paul Edwards via Gcc ; gcc@gcc.gnu.org Subject: Re: negative indexes On March 14, 2021 6:55:32 AM GMT+01:00, Paul Edwards via Gcc wrote:

Re: negative indexes

2021-03-14 Thread Paul Edwards via Gcc
Paul. -Original Message- From: Paul Edwards Sent: Sunday, March 14, 2021 7:12 PM To: gcc@gcc.gnu.org ; Richard Biener Subject: Re: negative indexes Hi Richard. Thanks for your reply, but if I understand you correctly, you are saying this fix is for situations where the size of an integ

Re: negative indexes

2021-03-14 Thread Richard Biener via Gcc
inal Message- >From: Richard Biener >Sent: Sunday, March 14, 2021 7:05 PM >To: Paul Edwards ; Paul Edwards via Gcc ; gcc@gcc.gnu.org >Subject: Re: negative indexes > >On March 14, 2021 6:55:32 AM GMT+01:00, Paul Edwards via Gcc > wrote: >>If I have code

Re: negative indexes

2021-03-15 Thread Richard Biener via Gcc
On Sun, Mar 14, 2021 at 3:20 PM Paul Edwards wrote: > > Thanks Richard. > > Based on what you said I made this change: > > C:\devel\gcc\gcc\config\i370>cvs diff > cvs diff: Diffing . > Index: i370.h > ====

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-15 Thread Sjoerd Meijer via Gcc
with _Float16 and others could be added later if required? Cheers, Sjoerd. From: Jonathan Wakely Sent: 12 March 2021 22:03 To: Joseph Myers Cc: Sjoerd Meijer ; Kito Cheng ; GCC Subject: Re: IEEE Interchange floating point and extended floating point for C++

Re: IEEE Interchange floating point and extended floating point for C++

2021-03-15 Thread Jonathan Wakely via Gcc
On Mon, 15 Mar 2021 at 10:17, Sjoerd Meijer wrote: > > Many thanks for your replies and thoughts on this. > > I wanted to add that I agree with this, and say that this is the > current state in Clang (exactly because of the reason that > _Float16 is entirely new): > > I see less value in adding add

extended segments on 80386

2021-03-15 Thread Paul Edwards via Gcc
Would it be possible for GCC to generate code that reserves ESI and EDI as "extended segment" registers to hold a source and destination "extended segment" of any operation. This will be the upper 32-bits of a 64-bit address. When run on a normal 80386, such code will work f

Re: [RFC] Appropriate portable data type for IEEE half-precision on C/C++

2021-03-15 Thread Kito Cheng via Gcc
n Fri, 12 Mar 2021, Jonathan Wakely via Gcc wrote: > > > Why not just make _Float16 available in C++ as a GCC extension? > > There may be questions about promotions from _Float16 to wider formats for > arithmetic. > > For C, there are no such promotions at the level of types (

Re: extended segments on 80386

2021-03-15 Thread Paul Edwards via Gcc
Actually, what I want is a processor with ECS, EDS and EES, as new registers, and for GCC to target that, supporting near, far and huge code pointers and data pointers. BFN. Paul. -Original Message- From: Paul Edwards Sent: Tuesday, March 16, 2021 12:55 AM To: GCC Development

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-15 Thread Richard Biener via Gcc
x27;walk_stmt_load_store_addr_ops', to collect >variable load/store/address-taken instances. This did seem quite >straight-forward, given the description; 'gcc/gimple-walk.c': > >/* For the statement STMT call the callbacks VISIT_LOAD, VISIT_STORE >and > VISIT_

Failing in generated file options.c

2021-03-15 Thread Gary Oblock via Gcc
Guys, I checked out a fresh copy of the GCC sources today, applied somebodies patch to it and voila! options.c:13591:2: error: #error Report option property is dropped #error Report option property is dropped I built this the same minimally convoluted way that I always do. cd $1 BASE=`pwd

Re: Failing in generated file options.c

2021-03-16 Thread Andrew Pinski via Gcc
On Mon, Mar 15, 2021 at 7:41 PM Gary Oblock via Gcc wrote: > > Guys, > > I checked out a fresh copy of the GCC sources today, applied somebodies > patch to it and voila! > > options.c:13591:2: error: #error Report option property is dropped #error > Report option propert

Failing in generated file options.c

2021-03-16 Thread Erick Ochoa via Gcc
Hi Gary, the options.c file is generated from the gcc/common.opt file. Report was a keyword that could be given to optimization options but which was dropped sometime in December I think. The patches I sent you should have the keyword Report dropped. Are you applying your sources already? If not

Re: Failing in generated file options.c

2021-03-16 Thread Jonathan Wakely via Gcc
On Tue, 16 Mar 2021, 08:53 Martin Liška, wrote: > On 3/16/21 3:39 AM, Gary Oblock via Gcc wrote: > > > > > > CONFIDENTIALITY NOTICE: This e-mail message, including any attachments, > is for the sole use of the intended recipient(s) and contains information > that is c

Re: printf: Ambiguous warning

2021-03-16 Thread Jakub Jelinek via Gcc
On Tue, Mar 16, 2021 at 11:20:05AM +0100, Rene Kita wrote: > (Please keep me CC'd, I'm not subscribe to the list) > > Here is a minimal example: > #include > > int > main() > { > unsigned short n; > unsigned short *p; > p = &n; >

Re: printf: Ambiguous warning

2021-03-16 Thread Jonathan Wakely via Gcc
On Tue, 16 Mar 2021 at 10:47, Rene Kita wrote: > > On Tue, Mar 16, 2021 at 11:26:29AM +0100, Jakub Jelinek wrote: > > On Tue, Mar 16, 2021 at 11:20:05AM +0100, Rene Kita wrote: > > > % gcc -Wall -Wpedantic main.c > > > main.c: In function 'main': > >

Question on special constraint variables in points-to analysis

2021-03-16 Thread Erick Ochoa via Gcc
Hello, I'm currently working on improving my understanding of the implementation of the intraprocedural points-to analysis in GCC. I have already read the papers by Daniel Berlin and have been looking at the source for some time, but I understand that those references are a little bit ol

Re: Question on special constraint variables in points-to analysis

2021-03-16 Thread Richard Biener via Gcc
On Tue, Mar 16, 2021 at 1:16 PM Erick Ochoa via Gcc wrote: > > Hello, > > I'm currently working on improving my understanding of the implementation > of the intraprocedural points-to analysis in GCC. I have already read the > papers by Daniel Berlin and have been looking

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-16 Thread Richard Biener via Gcc
On Tue, Mar 16, 2021 at 4:02 PM Thomas Schwinge wrote: > > Hi! > > Richard, thanks for your answer. I'll need to look into this more; two > questions already: > > On 2021-03-15T20:17:17+0100, Richard Biener via Gcc wrote: > > On March 15, 2021 7:31:46 PM GMT+01

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-17 Thread Richard Biener via Gcc
es loads and stores split into separate stmts not doing any computation. It's just less obivous in the dumps (compared to SSA name dumping). Richard. > And in that it's > not the case that 'zzz = 1' and 'zzz = r + r2' are similar. The former > can

Re: 'walk_stmt_load_store_addr_ops' for non-'gimple_assign_single_p (stmt)'

2021-03-17 Thread Richard Biener via Gcc
A form of > > gimple (i.e. the one that it is in most of the time). > > Yes, "most of the time", but actually not in my case: I'm doing stuff > right after gimplification (before OMP lowering)... So that's the > "detail" I was missing -- sorry for not men

More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
Hello, I'm still trying to compare the solution generated from the intraprocedural points-to analysis in GCC against an external solver. Yesterday it was pointed out that "NULL is not conservatively correctly represented in the constraints". Can someone expand on this? To me thi

Re: More questions on points-to analysis

2021-03-17 Thread Richard Biener via Gcc
On Wed, Mar 17, 2021 at 11:34 AM Erick Ochoa via Gcc wrote: > > Hello, > > I'm still trying to compare the solution generated from the > intraprocedural points-to analysis in GCC against an external solver. > > Yesterday it was pointed out that "NULL is not conserv

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
Hi Richard, I think I misunderstood yesterday's answer and deviated a little bit. But now I want to focus on this: > > * the process in GCC that generates the constraints for NULL works > > fine (i.e., feeding the constraints generated by GCC to an external > >

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
> > * the process in GCC that generates the constraints for NULL works > > > fine (i.e., feeding the constraints generated by GCC to an external > > > solver should yield a conservatively correct answer) but the process > > > that solves the constraints relaxes the

Re: More questions on points-to analysis

2021-03-17 Thread Erick Ochoa via Gcc
nks! > > On Wed, 17 Mar 2021 at 16:16, Erick Ochoa wrote: > > > > Hi Richard, I think I misunderstood yesterday's answer and deviated a > > little bit. But now I want to focus on this: > > > > > > * the process in GCC that generates the constraints for N

[no subject]

2021-03-17 Thread TUSHAR SINGHOTA via Gcc
Sir, I'm Tushar of btech 1st sem of CSE branch student. Can you tell me how to contribute in programming, development new programs and creating new. I'm also confident in c language, please also tell me which languages are required for contributing.

Re: More questions on points-to analysis

2021-03-18 Thread Richard Biener via Gcc
On Wed, Mar 17, 2021 at 4:17 PM Erick Ochoa wrote: > > Hi Richard, I think I misunderstood yesterday's answer and deviated a > little bit. But now I want to focus on this: > > > > * the process in GCC that generates the constraints for NULL works > > >

Re: More questions on points-to analysis

2021-03-18 Thread Erick Ochoa via Gcc
little bit. But now I want to focus on this: > > > > > > * the process in GCC that generates the constraints for NULL works > > > > fine (i.e., feeding the constraints generated by GCC to an external > > > > solver should yield a conservatively correct answer) bu

GSoC

2021-03-19 Thread Isitha Subasinghe via Gcc
To whom it may concern, I am a student interested in participating in GSoC this year. After having a look at some of the available PL projects, gccrs caught my attention. I love Rust and have an interest in exploring more about type theory and automatic garbage collection. My background is that I

Re: More questions on points-to analysis

2021-03-19 Thread Erick Ochoa via Gcc
Hello Richard, I have a related question. I have the following GCC program (which is again an altered version of ipa-pta-16.c: ``` struct X { long l1; struct Y { long l2; int *p; } y; }; int i; static int __attribute__((noinline)) foo (struct X *x) { struct Y y = x-&g

Re: More questions on points-to analysis

2021-03-19 Thread Richard Biener via Gcc
On Fri, Mar 19, 2021 at 11:29 AM Erick Ochoa wrote: > > Hello Richard, > > I have a related question. I have the following GCC program (which is > again an altered version of ipa-pta-16.c: > > ``` > > struct X > { > long l1; > struct Y > { >

GSoC 2021

2021-03-19 Thread Mahmoud Shawky via Gcc
Hello there I have chosen the project that i want to develop , and i don't know what is the next step , is it okay to communicate with the project mentor in linkedin or how can i communicate with him . That's my first time here Thanks in advance

GSOC

2021-03-20 Thread Manish Sahani via Gcc
sting, some wikis on the structure of gcc, have played around with configure script (explored various options), build the code multiple times, and ran test cases. My previous intern at adobe included some work to analyze the MSVC manglers and so I'm very interested in the cp-demangle project

GSOC-2021

2021-03-20 Thread Namitha S via Gcc
Hi, I am Namitha S, an undergrad from Amrita University. This mail is regarding GSOC-2021, I wanted to know more about the project "Extend the static analysis pass". I've gone through the wiki and finished the tasks listed out in the before you apply section. I've already read the mail replies that

Re: [RFC] avoid type conversion through versioning loop

2021-03-22 Thread Richard Biener via Gcc
On Mon, Mar 22, 2021 at 7:41 AM guojiufu via Gcc wrote: > > Hi All, > > As we know, type conversion is not in favor of optimization, and may > cause performance issue. > > For example: > for (unsigned int i = 0; i < n; ++i) >a[m + i] = 1; //or a[30 + i] =

Re: [RFC] avoid type conversion through versioning loop

2021-03-22 Thread Jakub Jelinek via Gcc
On Mon, Mar 22, 2021 at 09:22:26AM +0100, Richard Biener via Gcc wrote: > Better than doing loop versioning is to enhance SCEV (and thus also > dependence analysis) to track extra conditions they need to handle > cases similar as to how niter analysis computes it's 'assumptions&

Re: GSOC-2021

2021-03-22 Thread David Malcolm via Gcc
On Sun, 2021-03-21 at 00:31 +0530, Namitha S via Gcc wrote: > Hi, > I am Namitha S, an undergrad from Amrita University. This mail is > regarding > GSOC-2021, I wanted to know more about the project "Extend the static > analysis pass". I've gone through the wiki a

Re: GSoC

2021-03-22 Thread David Malcolm via Gcc
Hi Isitha (and Philip!) If I'm reading Isitha's email correctly, it talks about static analysis, whereas Philip's talks about GCC Rust, so some wires got crossed somewhere. I'm the author of the GCC static analysis pass. I should confess that I still feel like I'm

Re: [RFC] avoid type conversion through versioning loop

2021-03-23 Thread Richard Biener via Gcc
On Tue, Mar 23, 2021 at 4:33 AM guojiufu wrote: > > On 2021-03-22 16:31, Jakub Jelinek via Gcc wrote: > > On Mon, Mar 22, 2021 at 09:22:26AM +0100, Richard Biener via Gcc wrote: > >> Better than doing loop versioning is to enhance SCEV (and thus also > >> depen

David Malcolm as GCC static analyzer maintainer

2021-03-23 Thread Jeff Law via Gcc
I am pleased to announce that the GCC Steering Committee has appointed David Malcolm as maintainer of the GCC static analyzer. David, please update your listing in the MAINTAINERS file. Thanks, Jeff

Re: GSOC

2021-03-23 Thread Jonathan Wakely via Gcc
On Sat, 20 Mar 2021 at 12:24, Manish Sahani via Gcc wrote: > Also, while compiling without bootstrapping. I ran into an error (screenshot > of the error > <https://s3.us-west-2.amazonaws.com/secure.notion-static.com/1323c46e-a170-4c85-a83a-4ea302e7c689/Screenshot_2021-03-18_at_9.14

[committed] MAINTAINERS: add myself as static analyzer maintainer

2021-03-23 Thread David Malcolm via Gcc
On Tue, 2021-03-23 at 08:44 -0600, Jeff Law wrote: > > I am pleased to announce that the GCC Steering Committee has > appointed > David Malcolm as maintainer of the GCC static analyzer. > > > David, please update your listing in the MAINTAINERS file. Thanks. I'

Re: [RFC] avoid type conversion through versioning loop

2021-03-24 Thread Richard Biener via Gcc
On Wed, Mar 24, 2021 at 3:55 AM guojiufu wrote: > > On 2021-03-23 16:25, Richard Biener via Gcc wrote: > > On Tue, Mar 23, 2021 at 4:33 AM guojiufu > > wrote: > >> > >> On 2021-03-22 16:31, Jakub Jelinek via Gcc wrote: > >> > On Mon, Mar 22, 2021 a

GSoC Rust

2021-03-24 Thread Aidan Goldfarb via Gcc
Hi, My name is Aidan Goldfarb and I am a junior studying Computer Science at the University of Rochester. I am very interested in working on the Gnu platform for the 2021 Google SoC, specifically any projects that involve Rust programming. I notice projects such as several Rust Front-End projects.

[GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-25 Thread Saloni Garg via Gcc
Hi all, I am an undergraduate student in AMU, Aligarh. I am interested in the project* `Extend the static analysis pass`. *I have followed this( https://gcc.gnu.org/pipermail/gcc/2021-March/234941.html) and been able to successfully build and successfully ran and pass the test suite for C and C

Can help with task of language frontend cleanup

2021-03-25 Thread pawel k. via Gcc
Hello, Not sure which list is right. I have ideas for code improvement for gcc. Idea1 langhooks cleanup It basically involves clean up of lang hooks. Closing it in special class. Might help to clean up massive defines etc spurious langhooks declarations amongst others and removing some hooks

Re: Can help with task of language frontend cleanup

2021-03-25 Thread Jonathan Wakely via Gcc
On Thu, 25 Mar 2021 at 09:43, pawel k. via Gcc-help wrote: > > Hello, > Not sure which list is right. I have ideas for code improvement for gcc. Please don't cross-post to gcc@ and gcc-help@, there are almost no topics relevant to both. You're discussing GCC development, s

Re: Can help with task of language frontend cleanup

2021-03-25 Thread Jakub Jelinek via Gcc
On Thu, Mar 25, 2021 at 12:06:08PM +, Jonathan Wakely via Gcc wrote: > What would be the benefit? > > I can understand the advantage of a single binary that is a > cross-compiler for different targets (but it would be a huge task to > get GCC there). You wouldn't need mult

Current limitations of define_subst

2021-03-25 Thread Colin McEwan via Gcc
Hi all, I was wondering if anyone understands the rationale behind the current limitations on (define_subst), ie. working only on (define_insn) and (define_expand). A lot of md cleanup, as well as extra patterns for combiner use, could be enabled by supporting (define_split) / (define_insn_and_sp

Re: [GSoC-2021] Interested in project `Extend the static analysis pass`

2021-03-25 Thread David Malcolm via Gcc
On Thu, 2021-03-25 at 14:52 +0530, Saloni Garg via Gcc wrote: > Hi all, > I am an undergraduate student in AMU, Aligarh. I am interested in the > project* `Extend the static analysis pass`. *I have followed this( > https://gcc.gnu.org/pipermail/gcc/2021-March/234941.html) and be

Question about reading LTO function summaries

2021-03-26 Thread Erick Ochoa via Gcc
Hello, I already have some experience developing SIMPLE_IPA_PASSes, but I am looking to understand IPA_PASSes better. I have made a hello world ipa pass that stores "hello world $FUNCTION_NAME" in the function summaries; however, I am having trouble reading this information back. Can someone help

Re: Can help with task of language frontend cleanup

2021-03-26 Thread pawel k. via Gcc
enclosing them into frontend class. As an extra we could get better separation of frontend and middle part. Also adding new frontend would be cleaner process imho. In approach with multiple frontends per binary we could build one gcc and serve many langs possibly optimally building single exe for all

Dimitar Dimitrov as TI PRU maintainer

2021-03-26 Thread Jeff Law via Gcc
I am pleased to announce that the GCC Steering Committee has appointed Dimitar Dimitrov as maintainer of the TI PRU port in GCC. Dimitar, please update your listing in the MAINTAINERS file. Sorry it's taken so long to make this happen.  It just kept slipping off my radar. Thanks, Jeff

Re: Current limitations of define_subst

2021-03-26 Thread Richard Sandiford via Gcc
Colin McEwan via Gcc writes: > Hi all, > > I was wondering if anyone understands the rationale behind the current > limitations on (define_subst), ie. working only on (define_insn) and > (define_expand). > > A lot of md cleanup, as well as extra patterns for combiner use,

Re: Remove RMS from the GCC Steering Committee

2021-03-26 Thread Christopher Dimech via Gcc
and Production - Free Software Advocacy > Sent: Saturday, March 27, 2021 at 8:02 AM > From: "Nathan Sidwell" > To: "GCC Development" > Subject: Remove RMS from the GCC Steering Committee > > [double sigh, attaching a pdf causes it to be blocked, and I

Re: Remove RMS from the GCC Steering Committee

2021-03-26 Thread Jonathan Wakely via Gcc
On Fri, 26 Mar 2021, 20:03 Nathan Sidwell, wrote: > > Dear members of the GCC Steering Committee (SC), I ask you to remove > Richard > Stallman (RMS) from the SC, or, should you chose not to do so, make a > clear > statement as to why he remains. > I second Nathan'

Re: Remove RMS from the GCC Steering Committee

2021-03-26 Thread Marek Polacek via Gcc
for > sources. I emailed several members of the SC, and don't want to bomb them > with yet a third copy. ] > > Dear members of the GCC Steering Committee (SC), I ask you to remove > Richard Stallman (RMS) from the SC, or, should you chose not to do so, make > a clear statem

<    26   27   28   29   30   31   32   33   34   35   >