> On 19-May-2021, at 4:12 AM, David Malcolm wrote:
>
> [sending this offlist for now]
>
> Hi Ankur
Hi
>
> I'm mentoring your "Extending C++ support for static analysis pass"
> GSoC project, so I thought I'd say "hi"... or looking at your email
> address should that be "hail"? :-)
XD
>
>
Hello,
I am pleased to announce that four students will be working on GCC
Google Summer of Code (GSoC) projects in 2021:
- Ankur Saini will be working on "Extending C++ support for static
analysis pass." This project will be mentored by David Malcolm.
- Arthur Cohen will work on "Cargo tool
On Tue, May 18, 2021 at 11:41 AM Eric Botcazou wrote:
>
> > I noticed while debugging why my "A?CST1:CST0" patch was broken for
> > Ada, I noticed the following ranges for boolean types:
> > # RANGE [0, 1] NONZERO 1
> > _14 = checks__saved_checks_tos.482_2 > 0;
> > # RANGE [0, 255] NONZERO 1
> I noticed while debugging why my "A?CST1:CST0" patch was broken for
> Ada, I noticed the following ranges for boolean types:
> # RANGE [0, 1] NONZERO 1
> _14 = checks__saved_checks_tos.482_2 > 0;
> # RANGE [0, 255] NONZERO 1
> _18 = _14 == 0;
> _19 = ~_18;
The '~' looks problematic if
On Tue, May 18, 2021 at 4:51 AM Andrew Pinski via Gcc wrote:
>
> On Mon, May 17, 2021 at 6:52 PM Andrew Pinski wrote:
> >
> > I noticed while debugging why my "A?CST1:CST0" patch was broken for
> > Ada, I noticed the following ranges for boolean types:
> > # RANGE [0, 1] NONZERO 1
> > _14 = c
