[clang] [clang][analyzer] use unqualified canonical type during merging equivalence class (PR #95729)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Jun 17 09:03:34 PDT 2024


steakhal wrote:

> > Excellent quality. Thank for fixing this.
> 
> Should I fix the other type comparison in static analysis? It looks like not consider this case at lots of position.
> 
> 

I think you are right. And in most cases within CSA, we should usually compare canonical types.
If you wanna hunt for some, we would be happy to review your findings.

https://github.com/llvm/llvm-project/pull/95729


More information about the cfe-commits mailing list