1 2 3 4 5 6
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store=region -verify %s int f1() { int x = 0, y = 1; return x += y; // Should bind a location to 'x += y'. No crash. }