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