am 70eb7d5b: am 401b8ea4: am ed51747a: Merge "Add synthesize uses at back edge."

* commit '70eb7d5be34cc7282e03c8b7f844c749b1deac35':
  Add synthesize uses at back edge.