Prove: [release] doesn't set a variable to nil

not_nil.m

// gcc not_nil.m -lObjC -framework Foundation && ./a.out

#include <stdio.h>
#include <stdarg.h>
#include <Cocoa/Cocoa.h>


@interface FooClass : NSObject
{
}
@end

@implementation FooClass
- (id)init
{
  if((self = [super init]))
  {
    printf("init, I am at 0x%x\n", self);
  }
  return self;
}
- (void)dealloc
{
  printf("dealloc\n");
  [super dealloc];
}

@end


int main (int argc, char const *argv[])
{
  FooClass *obj;
  
  printf("0x%x // random value\n", obj);
  obj = [[FooClass alloc] init];
  printf("0x%x // addr of the obj\n", obj);
  [obj release];
  printf("0x%x // still the same addr and not 0x%x (nil) "
      "because you did not touch the value of obj, "
      "you just called a method on it\n",
      obj, nil);
  
  return 0;
}