https://github.com/steakhal approved this pull request.

> > I'm not satisfied with the quality of the reports. The report refers to 
> > `Subtraction of two pointers that do not point into the same array is 
> > undefined behavior` without pointing out where the two pointers point to 
> > (and/or where are they declared, or set to point to different objects). 
> > Without improving the diagnostics, I don't think we should move this out of 
> > alpha.
> 
> For this purpose the report notes were added. In the CodeChecker interface 
> the arrow beneath "Notes" can be expanded to see these notes. Sure it can be 
> even more exact if all the super-regions were pointed out but in the current 
> reports it is probably not difficult to recognize what the different regions 
> are (different variables or different members of a struct or a variable and a 
> member of the same struct as the variable).

I see! Thanks. In that case, I don't oppose.

https://github.com/llvm/llvm-project/pull/107596
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to