mysql - CONVERT_TZ は夏時間を考慮していますか?

Question

重複の可能性:
MySQL CONVERT_TZ()

CONVERT_TZ は夏時間を考慮していますか?

例えば：

CONVERT_TZ('2013-1-1 12:00:00', 'US/Pacific', 'UTC');

正しい結果が得られましたが、DST シナリオをテストする方法がわかりません。