// 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;
}