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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
