This patch fixes the assertion crash recently detected on some Tizen code. Since this code pattern is quite rare, it hasn't been handled yet. The patch extends the asserted statement so that to make it appropriate to possible undefined values.
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.