[cfe-dev] Help on bug

[Gábor Horváth via cfe-dev]

Hi,

Looking at the issue you probably want to make expression evaluation
smarter in the analyzer. The files you want to touch is probably in the
folder `clang/lib/StaticAnalyzer/Core`.
It was a while since I last touched the analyzer core so I might be a bit
rusty, bit I would start looking at `SimpleSValBuilder.cpp` and the `
evalBinOpNN ` and similar functions. For this task I think you need to
understand what a symbolic value is, and familiarize yourself with some of
the nomenclature the analyzer is using (e.g. non-loc mostly means r-value
and loc mostly means l-value). Also make sure that after your change the
potential division by zero errors are still diagnosed.

I also added Artem so he has the chance to correct me if I am wrong.

Cheers,
Gabor

On Thu, 15 Aug 2019 at 09:00, Paulo Augusto Gomes Kataki via cfe-dev <
cfe-dev at lists.llvm.org> wrote:

> Hi everyone,
>
> Can anybody help me to solve this issue:
> https://bugs.llvm.org/show_bug.cgi?id=35418
>
> I'm new here and I don't have an idea on where to start.
>
> Thanks in advance.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20190819/99f2275a/attachment.html>