1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.security.MallocOverflow -verify %s 2*f4a2713aSLionel Sambuc // expected-no-diagnostics 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuc class A { 5*f4a2713aSLionel Sambuc public: 6*f4a2713aSLionel Sambuc A& operator<<(const A &a); 7*f4a2713aSLionel Sambuc }; 8*f4a2713aSLionel Sambuc f()9*f4a2713aSLionel Sambucvoid f() { 10*f4a2713aSLionel Sambuc A a = A(), b = A(); 11*f4a2713aSLionel Sambuc a << b; 12*f4a2713aSLionel Sambuc } 13