[PATCH] D75514: [Analyzer] Only add container note tags to the operations of the affected container

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 5 07:08:27 PST 2020


NoQ added a comment.

In D75514#1907392 <https://reviews.llvm.org/D75514#1907392>, @baloghadamsoftware wrote:

> In D75514#1905268 <https://reviews.llvm.org/D75514#1905268>, @Szelethus wrote:
>
> > But why is this related to `UndefinedVal`?
>
>
> Because `UndefinedVal` seems to be the "null" value of `SVal`


//It is not.// It is a very specific and exotic `SVal` that almost never appears in practice but plays a very important role in the analysis.
Let's remove the default constructor for `SVal` entirely because it seems to be a common source of confusion.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75514/new/

https://reviews.llvm.org/D75514





More information about the cfe-commits mailing list