Re: [Static Analyzer] Loop handling - False positive for malloc-sm

On 21/03/2023 00:30, David Malcolm wrote: On Mon, 2023-03-20 at 13:28 +0100, Pierrick Philippe wrote: Hi everyone, I'm still playing around with the analyzer, and wanted to have a look at loop handling. I'm using a build from /trunk/ branch (/20230309/). Here is my analyzed code: ''' 1| #incl

Re: [Static Analyzer] Loop handling - False positive for malloc-sm

Hi Dave, > I implemented my own approach, with a "widening_svalue" subclass of > symbolic value. This is widening in the Abstract Interpretation sense, > (as opposed to the bitwise operations sense): if I see multiple values > on successive iterations, the widening_svalue tries to simulate that w

Re: [Static Analyzer] Loop handling - False positive for malloc-sm

Hi Dave, > On 21 Mar 2023, at 00:30, David Malcolm via Gcc wrote: > > I implemented my own approach, with a "widening_svalue" subclass of > symbolic value. This is widening in the Abstract Interpretation sense, > (as opposed to the bitwise operations sense): if I see multiple values > on succes

Interested in participating in GSoC

Hi everyone! My name is Sanskriti Mathuria and I am a student pursuing computer science at PES University, Bangalore, India. I am in my third year of college. The project "Enable incremental Link Time Optimization (LTO) linking" and "C++: Implement compiler built-in traits for the standard library

[no subject]

I am interested in gsoc and I know cpp language

Interested in GSoC (was: )

Hi Shreyash, On 21.03.23 12:45, Shreyash Pawar via Gcc wrote: I am interested in gsoc and I know cpp language See https://gcc.gnu.org/wiki/SummerOfCode for project ideas. I helps to think about a certain project and to get familiar with GCC. In particular, please read "Before you apply". Tha

Re: Static Analyzer: correlate state for different region/svalue for reporting

On 16/03/2023 14:44, David Malcolm wrote: On Thu, 2023-03-16 at 09:54 +0100, Pierrick Philippe wrote: On 15/03/2023 17:26, David Malcolm wrote: On Wed, 2023-03-15 at 16:24 +0100, Pierrick Philippe wrote: [stripping] So, first question: is there any way to associate and track the state of a rv

GSOC 2023 Proposal about MetaData Exports by Parthib Datta

There is my GSOC 2023 Proposal about the Metadata Exports project please review it and let me know what you guys think about it?? GSOC Proposal for Metadata Exports in Rust-GCC by Parthib Datta.docx Description: MS-Word 2007 document

GSoC Applicant

Hi there, I am 3rd year computer science student at University of Windsor, Canada. I would like to apply for one of the projects for GCC. On the website, it was recommended to contact team as soon as possible. So, I am sending this email to show my interest. Also, I noticed that it is mentioned

Libgcc divide vectorization question

Hi all, I want to be able to vectorize divide operators (softfp and integer), but amdgcn only has hardware instructions suitable for -ffast-math. We have recently implemented vector versions of all the libm functions, but the libgcc functions aren't builtins and therefore don't use those hoo

Re: [RISC-V][tech-rvv-intrinsics] RISC-V V C Intrinsic API v1.0 release meeting reminder (March 20th, 2023)

The meeting minutes in added in the note. You can also find it under riscv-admin/rvv-intrinsics. > eop Chen

Tobias Burnus as OpenMP and libgomp reviewer

I am pleased to announce that the GCC Steering Committee has appointed Tobias Burnus as an additional OpenMP and libgomp maintainer. Tobias, please update your listing in the MAINTAINERS file. Cheers, Jason

Re: [GSOC] getting "gdb: unrecognized option '-dumpdir'' while trying to debug gcc using gdb

On Mon, 20 Mar 2023 15:08:41 -0400 David Malcolm via Gcc wrote: > Another way to invoke cc1 under the debugger is to add "-v" to the gcc > invocation to get verbose output, and then see what command-line it > uses to invoke cc1, and then run: > > gdb --args ARGS_OF_CC1_INVOCATION I find it ea

Re: GSoC'2023: Bypass assembler when generating LTO object files: GCC

Hello, please make sure you CC the mailing list in these communications. On Thu, Mar 16 2023, Madhu patel wrote: > Hi, > >>That is an impressive list. On a more specific note, do you have any - >> rudimentary is fine - background in the theory of compilers? Are you >> familiar with concepts lik

Re: Regarding GSOC

Hello, please CC the mailing list on these discussions. On Fri, Mar 17 2023, Megha Raj wrote: > Thank you for your mail > Now I'm focusing on internal working of compiler > As having a rough idea is enough for the contribution or I need depth > knowledge?? that depends on the project but for man

Re: GSoC 2023

Hello, On Sun, Mar 19 2023, ANKESH PANDEY . wrote: > Hello, > > I am Ankesh Pandey, a 3rd year Computer Science Undergraduate. > > I am interested in contributing for the following projects: We are delighted you found contributing to GCC interesting. > >1. > >Unicode support: Our Lexer a

Re: [GSOC] query about C++: Implement compiler built-in traits for the standard library traits

Hello Anastasia, we are very happy that you are considering contributing to GCC. On Mon, Mar 20 2023, Anastasia3412 via Gcc wrote: > Hello Everyone I'm Anastasia. > >I am a prospective GSOC Student. I wish to know if the project C++: >Implement compiler built-in traits for the standard library tr

Re: [GSoC 2023] Rust front-end: Improving User Errors

Hello, We are delighted you found contributing to GCC interesting. On Mon, Mar 20 2023, Panagiotis Foliadis via Gcc wrote: > Greetings, > > My name is Panagiotis Foliadis, Ι'm 26 years old and I am from Athens, Greece. > > I'm interesting in the Rust frοnt-end project and especially at Improving

Re: GSoC Applicant

Hello Arunesh, On Tue, Mar 21 2023, Arunesh Choudhary wrote: > Hi there, > > I am 3rd year computer science student at University of Windsor, Canada. I > would like to apply for one of the projects for GCC. > On the website, it was recommended to contact team as soon as possible. So, I > am send

Re: [GSOC] query about C++: Implement compiler built-in traits for the standard library traits

On Tue, 21 Mar 2023 at 21:16, Martin Jambor wrote: > > Hello Anastasia, > > we are very happy that you are considering contributing to GCC. > > On Mon, Mar 20 2023, Anastasia3412 via Gcc wrote: > > Hello Everyone I'm Anastasia. > > > >I am a prospective GSOC Student. I wish to know if the project C