// Check miscellaneous Objective-C sdk migration options.
// rdar://19994452
// RUN: %clang -objcmt-migrate-property-dot-syntax -target x86_64-apple-darwin10 -S -### %s \
// RUN: -arch x86_64 2> %t
// RUN: FileCheck < %t %s
// CHECK: "-cc1"
// CHECK: -objcmt-migrate-property-dot-syntax