How do clang-static-analyzer and Product compare on operations?

GQ-0277