Which operations are supported by clang-static-analyzer but not Product?

GQ-0275