Static analyzer: fix bug in handling of dynamic_cast<>. The sink node...

Static analyzer: fix bug in handling of dynamic_cast<>.  The sink node wouldn't always be the final node, thus causing the state to continue propagating.  Instead,
recover some path-sensitivity by conjuring a symbol.

llvm-svn: 128612