// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.StrLengthCalculation %s
#include <string.h>
#include <string>

void t1() 
{
	std::string s;
	if (strlen(s.c_str()) != 0) 
	{
	
	}; // warn
}

void t2() 
{
	std::string s;
	if (0 != strlen(s.c_str())) 
	{
	
	}; // warn
}

void t3() 
{
	std::string s;
	if (strlen(s.c_str())) 
	{
	
	}; // warn
}

void t4() 
{
	std::string s;
	if (!strlen(s.c_str())) 
	{
	
	}; // warn
}

void t5() 
{
	std::string s;
	size_t length = strlen(s.c_str()); 
	if (length) 
	{
	
	}
}

void wstring_t1() 
{
	std::wstring ws;
	if (!wcslen(ws.c_str()))
	{
	}
}



