DXR will be turned off on Tuesday, December 29th. It will redirect to Searchfox.
See the announcement on Discourse.

DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (cdf352f02ac4)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50
// https://clang-analyzer.llvm.org/available_checks.html

void use(int *p);

void test_use_parameter_after_delete(int *p)
{
  delete p;
  use(p); // warning: use after free
}

class SomeClass {
public:
  void f();
};

void test_use_local_after_delete()
{
  SomeClass *c = new SomeClass;
  delete c;
  c->f(); // warning: use after free
}

// XXX clang documentation says this should cause a warning but it doesn't!
void test_delete_alloca()
{
  int *p = (int *)__builtin_alloca(sizeof(int));
  delete p; // NO warning: deleting memory allocated by alloca
}

void test_double_free()
{
  int *p = new int;
  delete p;
  delete p; // warning: attempt to free released
}

void test_delete_local()
{
  int i;
  delete &i; // warning: delete address of local
}

// XXX clang documentation says this should cause a warning but it doesn't!
void test_delete_offset()
{
  int *p = new int[1];
  delete[] (++p);
    // NO warning: argument to 'delete[]' is offset by 4 bytes
    // from the start of memory allocated by 'new[]'
}