Merge remote-tracking branch 'origin/swift-3.1-branch' into stable

* origin/swift-3.1-branch:
  [analyzer] Use unsigned integers to rely on well-defined overflow semantics.
  [analyzer] Fix an ARM buildbot after r284960.
  [analyzer] Add StdLibraryFunctions checker.