Re: [PATCH] C, ObjC: Add -Wunterminated-string-initialization

2023-03-16 Thread Alejandro Colomar via Gcc
On 3/17/23 02:12, Alejandro Colomar wrote: > Warn about the following: > > char s[3] = "foo"; > > Initializing a char array with a string literal of the same length as > the size of the array is usually a mistake. Rarely is the case where > one wants to create a non-terminated character s

[PATCH] C, ObjC: Add -Wunterminated-string-initialization

2023-03-16 Thread Alejandro Colomar via Gcc
Warn about the following: char s[3] = "foo"; Initializing a char array with a string literal of the same length as the size of the array is usually a mistake. Rarely is the case where one wants to create a non-terminated character sequence from a string literal. In some cases, for writing

gcc-10-20230316 is now available

2023-03-16 Thread GCC Administrator via Gcc
Snapshot gcc-10-20230316 is now available on https://gcc.gnu.org/pub/gcc/snapshots/10-20230316/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 10 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Re: PROBLEM !!! __ OS: ANY LINUX __ COMPILERS: gcc & g++ __ OUTPUT: BAD!!!

2023-03-16 Thread Jonathan Wakely via Gcc
On Thu, 16 Mar 2023 at 17:45, oszibarack korte via Gcc wrote: > > *An unsolved problem for more than a decade!* > *Dear GNU Compiler Collection development team!* > > *There is a problem with the gcc and g++ compilers for Linux operating > systems!* > *Here are 3 pieces of C and 3 pieces of C++ so

Re: PROBLEM !!! __ OS: ANY LINUX __ COMPILERS: gcc & g++ __ OUTPUT: BAD!!!

2023-03-16 Thread Andrew Pinski via Gcc
On Thu, Mar 16, 2023 at 10:46 AM oszibarack korte via Gcc wrote: > > *An unsolved problem for more than a decade!* > *Dear GNU Compiler Collection development team!* > > *There is a problem with the gcc and g++ compilers for Linux operating > systems!* > *Here are 3 pieces of C and 3 pieces of C++

PROBLEM !!! __ OS: ANY LINUX __ COMPILERS: gcc & g++ __ OUTPUT: BAD!!!

2023-03-16 Thread oszibarack korte via Gcc
*An unsolved problem for more than a decade!* *Dear GNU Compiler Collection development team!* *There is a problem with the gcc and g++ compilers for Linux operating systems!* *Here are 3 pieces of C and 3 pieces of C++ source code.* *- Please compile them on any LINUX!- Run it!- Compare the

Re: [Tree-SSA] Question from observation, bogus SSA form?

2023-03-16 Thread Martin Jambor
Hello Pierrick, On Thu, Mar 16 2023, Pierrick Philippe wrote: > Hi everyone, > > I was working around with the analyzer, but I usually dump the SSA-tree > to get a view of the analyzed code. > This is how I noticed something wrong, at least in the sense of the > definition of SSA form. please n

[Tree-SSA] Question from observation, bogus SSA form?

2023-03-16 Thread Pierrick Philippe
Hi everyone, I was working around with the analyzer, but I usually dump the SSA-tree to get a view of the analyzed code. This is how I noticed something wrong, at least in the sense of the definition of SSA form. I'm using a version of gcc build from a /trunk/ branch (/20230309/). Here is an

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

2023-03-16 Thread David Malcolm via Gcc
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: [...snip...] > > > > > > An ana::svalue is a pattern of bits (possibly symbolic, such as > > "the > > constant 42" or "the init

Re: [GSoC] gccrs Unicode support

2023-03-16 Thread Jakub Jelinek via Gcc
On Thu, Mar 16, 2023 at 01:58:57PM +0100, Mark Wielaard wrote: > On Thu, 2023-03-16 at 10:28 +0100, Thomas Schwinge wrote: > > I'm now also putting Mark Wielaard in CC; he once also started discussing > > this topic, "thinking of importing a couple of gnulib modules to help > > with UTF-8 processin

Re: [GSoC] gccrs Unicode support

2023-03-16 Thread Mark Wielaard
Hi, On Thu, 2023-03-16 at 10:28 +0100, Thomas Schwinge wrote: > I'm now also putting Mark Wielaard in CC; he once also started discussing > this topic, "thinking of importing a couple of gnulib modules to help > with UTF-8 processing [unless] other gcc frontends handle [these things] > already in

Re: [GSoC] gccrs Unicode support

2023-03-16 Thread Thomas Schwinge
Hi! (By the way, this GSoC project is being discussed in GCC/Rust Zulip: .) I'm now also putting Mark Wielaard in CC; he once also started discussing this topic, "thinking of importing a couple of gnulib modules to

Re: [GSoC] gccrs Unicode support

2023-03-16 Thread Raiki Tamura via Gcc
Sorry for resending this email. I forgot using “Reply All”. Thank you for your response, Arsen and Jakub. I did not know C++ also supports Unicode identifiers. I looked a little into C++ and found C++ accepts the same form of identifiers as Rust. So I will do further investigation of libcpp with t

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

2023-03-16 Thread Pierrick Philippe
On 15/03/2023 17:26, David Malcolm wrote: On Wed, 2023-03-15 at 16:24 +0100, Pierrick Philippe wrote: Hi everyone, Hi Pierrick I have some question regarding the analyzer. I'm currently working on an fully out-of-tree static analyzer plugin. I started development on commit tagged as /basepoin