| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core -std=c++11 -verify %s |
|---|
| 2 | |
|---|
| 3 | // radar://11485149, PR12871 |
|---|
| 4 | class PlotPoint { |
|---|
| 5 | bool valid; |
|---|
| 6 | }; |
|---|
| 7 | |
|---|
| 8 | PlotPoint limitedFit () { |
|---|
| 9 | PlotPoint fit0; |
|---|
| 10 | fit0 = limitedFit (); |
|---|
| 11 | return fit0; |
|---|
| 12 | } |
|---|
| 13 | |
|---|
| 14 | // radar://11487541, NamespaceAlias |
|---|
| 15 | namespace boost {namespace filesystem3 { |
|---|
| 16 | class path { |
|---|
| 17 | public: |
|---|
| 18 | path(){} |
|---|
| 19 | }; |
|---|
| 20 | |
|---|
| 21 | }} |
|---|
| 22 | namespace boost |
|---|
| 23 | { |
|---|
| 24 | namespace filesystem |
|---|
| 25 | { |
|---|
| 26 | using filesystem3::path; |
|---|
| 27 | } |
|---|
| 28 | } |
|---|
| 29 | |
|---|
| 30 | void radar11487541() { |
|---|
| 31 | namespace fs = boost::filesystem; |
|---|
| 32 | fs::path p; |
|---|
| 33 | } |
|---|
| 34 | |
|---|
| 35 | // PR12873 radar://11499139 |
|---|
| 36 | void testFloatInitializer() { |
|---|
| 37 | const float ysize={0.015}, xsize={0.01}; |
|---|
| 38 | } |
|---|
| 39 | |
|---|
| 40 | |
|---|
| 41 | // PR12874, radar://11487525 |
|---|
| 42 | template<class T> struct addr_impl_ref { |
|---|
| 43 | T & v_; |
|---|
| 44 | inline addr_impl_ref( T & v ): v_( v ) { |
|---|
| 45 | } |
|---|
| 46 | inline operator T& () const {return v_;} |
|---|
| 47 | }; |
|---|
| 48 | template<class T> struct addressof_impl { |
|---|
| 49 | static inline T * f( T & v, long ) { |
|---|
| 50 | return reinterpret_cast<T*>(&const_cast<char&>(reinterpret_cast<const volatile char &>(v))); |
|---|
| 51 | } |
|---|
| 52 | }; |
|---|
| 53 | template<class T> T * addressof( T & v ) { |
|---|
| 54 | return addressof_impl<T>::f( addr_impl_ref<T>( v ), 0 ); |
|---|
| 55 | } |
|---|
| 56 | void testRadar11487525_1(){ |
|---|
| 57 | bool s[25]; |
|---|
| 58 | addressof(s); |
|---|
| 59 | } |
|---|
| 60 | |
|---|
| 61 | // radar://11487525 Don't crash on CK_LValueBitCast. |
|---|
| 62 | bool begin(double *it) { |
|---|
| 63 | typedef bool type[25]; |
|---|
| 64 | bool *a = reinterpret_cast<type &>(*( reinterpret_cast<char *>( it ))); |
|---|
| 65 | return *a; |
|---|
| 66 | } |
|---|
| 67 | |
|---|
| 68 | // radar://14164698 Don't crash on "assuming" a ComoundVal. |
|---|
| 69 | class JSONWireProtocolInputStream { |
|---|
| 70 | public: |
|---|
| 71 | virtual ~JSONWireProtocolInputStream(); |
|---|
| 72 | }; |
|---|
| 73 | class JSONWireProtocolReader { |
|---|
| 74 | public: |
|---|
| 75 | JSONWireProtocolReader(JSONWireProtocolInputStream& istream) |
|---|
| 76 | : _istream{istream} {} // On evaluating a bind here, |
|---|
| 77 | // the dereference checker issues an assume on a CompoundVal. |
|---|
| 78 | ~JSONWireProtocolReader(); |
|---|
| 79 | private: |
|---|
| 80 | JSONWireProtocolInputStream& _istream; |
|---|
| 81 | }; |
|---|
| 82 | class SocketWireProtocolStream : public JSONWireProtocolInputStream { |
|---|
| 83 | }; |
|---|
| 84 | void test() { |
|---|
| 85 | SocketWireProtocolStream stream{}; |
|---|
| 86 | JSONWireProtocolReader reader{stream}; |
|---|
| 87 | } |
|---|
| 88 | |
|---|
| 89 | // This crashed because the analyzer did not understand AttributedStmts. |
|---|
| 90 | void fallthrough() { |
|---|
| 91 | switch (1) { |
|---|
| 92 | case 1: |
|---|
| 93 | [[clang::fallthrough]]; // expected-error {{does not directly precede}} |
|---|
| 94 | } |
|---|
| 95 | } |
|---|
| 96 | |
|---|