Предупреждение статического анализатора Clang Аргумент нулевого указателя при вызове CFRelease

В Xcode 4.6 статический анализатор clang предупреждает меня об «аргументе нулевого указателя при вызове CFRelease».

Вот скриншот предупреждения анализатора:

И вот код на случай, если вы захотите его скопировать и вставить:

- (void)test
{
    CFUUIDRef aUUID = CFUUIDCreate(kCFAllocatorDefault);
    [self setUUID:aUUID];
    CFRelease(aUUID);
}

- (void)setUUID:(CFUUIDRef)uuid
{
    _uuid = uuid ? CFRetain(uuid) : CFUUIDCreate(kCFAllocatorDefault);
}

Я не понимаю, почему он предупреждает меня. aUUID никогда не может быть нулевым указателем, не так ли? Я научился больше не доверять себе, чем инструментам, которые использую, поэтому спрашиваю здесь. Я был бы очень рад, если бы кто-нибудь объяснил мне, чего мне не хватает.