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
cfe-commits mailing list