operator-calls.cpp revision 033a07e5fca459ed184369cfee7c90d82367a93a
1033a07e5fca459ed184369cfee7c90d82367a93aTed Kremenek// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -verify %s 290d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregorstruct X0 { }; 390d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregorbool operator==(const X0&, const X0&); 490d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor 590d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor// PR7287 690d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregorstruct test { int a[2]; }; 790d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor 890d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregorvoid t2() { 990d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor test p = {{1,2}}; 1090d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor test q; 1190d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor q = p; 1290d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor} 1390d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor 1490d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregorbool PR7287(X0 a, X0 b) { 1573a48ad77c04987730a2469ef334a752dff94894Douglas Gregor return operator==(a, b); 1690d26a4afdbf6d917a5241ef3b316e1c8337c9b8Douglas Gregor} 17