NoQ accepted this revision. NoQ added a comment. This revision is now accepted and ready to land.
This seems correct. Loading from a garbage pointer should be modeled as garbage, and/or caught by a checker. `performTrivialCopy` is a high-level thingy that should be able to deal with any `SVal` input. The checker's warning message looks really weird, hard to figure out where's the call here, s/Function/Operator/ could have been an improvement, but that's another story. Repository: rL LLVM https://reviews.llvm.org/D25727 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
