xazax.hun added a comment.
> I am not being able to use this info since I don't have access to the raw > pointer, so cannot create a `SVal` and then constrain the `SVal` to non-null. > Any suggestions @NoQ, @vsavchenko , @xazax.hun, @teemperor? You can always create a new symbol to represent the inner pointer. Something like this already happens, when you have a unique_ptr formal parameter and call get on it. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D103750/new/ https://reviews.llvm.org/D103750 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
