test/Analysis/misc-ps-region-store-x86_64.m

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -verify -fblocks %s
   2
   3 // Here is a case where a pointer is treated as integer, invalidated as an
   4 // integer, and then used again as a pointer.   This test just makes sure
   5 // we don't crash.
   6 typedef unsigned long uintptr_t;
   7 void test_pointer_invalidated_as_int_aux(uintptr_t* ptr);
   8 void test_pointer_invalidated_as_int() {
   9   void *x;
  10   test_pointer_invalidated_as_int_aux((uintptr_t*) &x);
  11   // Here we have a pointer to integer cast.
  12   uintptr_t y = (uintptr_t) x;
  13 }
  14