| // RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.coreFoundation.CFError \ |
| // RUN: -verify %s |
| |
| typedef unsigned long size_t; |
| struct __CFError {}; |
| typedef struct __CFError *CFErrorRef; |
| void *malloc(size_t); |
| |
| class Foo { |
| public: |
| Foo(CFErrorRef *error) {} // no-warning |
| |
| void operator delete(void *pointer, CFErrorRef *error) { // no-warning |
| return; |
| } |
| |
| void operator delete[](void *pointer, CFErrorRef *error) { // no-warning |
| return; |
| } |
| |
| // Check that we report warnings for operators when it can be useful |
| void operator()(CFErrorRef *error) {} // expected-warning {{Function accepting CFErrorRef* should have a non-void return value to indicate whether or not an error occurred}} |
| }; |
| |
| // Check that global delete operator is not bothered as well |
| void operator delete(void *pointer, CFErrorRef *error) { // no-warning |
| return; |
| } |