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.


cfe-commits mailing list

Reply via email to