Specifically, do not compute a union if it is statically known that one shadow set subsumes the other. llvm-svn: 213100