Re: A working GIMPLE simple IPA case to run?

2021-02-20 Thread Shuai Wang via Gcc
Thank you very much! Just a follow-up question regarding IPA. Currently I can follow the tree-profile.c sample to perform IPA. However, my analysis is limited to all functions within one .c file. Is it possible for me to do cross- .c file analysis? That is, suppose there is a function foo in sourc

Re: using undeclared function returning bool results in wrong return value

2021-02-20 Thread David Brown
On 19/02/2021 12:18, Jonathan Wakely via Gcc wrote: > On Fri, 19 Feb 2021 at 09:42, David Brown wrote: >> Just to be clear - I am not in any way suggesting that this situation is >> the fault of any gcc developers. If configure scripts are failing >> because they rely on poor C code or inappropria

Re: using undeclared function returning bool results in wrong return value

2021-02-20 Thread David Malcolm via Gcc
On Sat, 2021-02-20 at 15:25 +0100, David Brown wrote: > On 19/02/2021 12:18, Jonathan Wakely via Gcc wrote: > > On Fri, 19 Feb 2021 at 09:42, David Brown wrote: > > > Just to be clear - I am not in any way suggesting that this > > > situation is > > > the fault of any gcc developers.  If configure

Re: using undeclared function returning bool results in wrong return value

2021-02-20 Thread David Brown
On 20/02/2021 16:46, David Malcolm wrote: > On Sat, 2021-02-20 at 15:25 +0100, David Brown wrote: > > I think we need to think about both of these use-cases e.g. as we > implement our diagnostics, and that we should mention this distinction > in our UX guidelines... > >> Is it possible to di

thanx

2021-02-20 Thread Steve via Gcc
I just tried to use microsoft's visual C++ and it will no longer compile a simple c program. I cannot thank your team enough for keeping the art of programming available to those who want to learn. thanks for avr-gcc, prop-gcc, and of course gcc! thanx for preserving my freedom to program!

Constraints and branching in -fanalyzer

2021-02-20 Thread David Malcolm via Gcc
[Moving this discussion from offlist to the GCC mailing list (with permission) and tweaking the subject] On Sat, 2021-02-20 at 02:57 +, brian.sobulefsky wrote: > Yeah, its a lot to take in. For the last one, it was just about > storing and retrieving data and I ignored everything else about th

gcc-10-20210220 is now available

2021-02-20 Thread GCC Administrator via Gcc
Snapshot gcc-10-20210220 is now available on https://gcc.gnu.org/pub/gcc/snapshots/10-20210220/ 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: Constraints and branching in -fanalyzer

2021-02-20 Thread brian.sobulefsky via Gcc
To be clear, I only solved the lesser problem if(idx-- > 0) __analyzer_eval(idx >= 0); which is a stepping stone problem. I correctly surmised that this was failing (with the prefix operator and -= operator working as expected) because the condition that is constrainted in the postfix problem i