// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.VirtualCall -analyzer-store region -verify %s

//#include <stdio.h>
#include <list>

using namespace std;

int f1()
{
	list<int> l;
	if (l.size() == 0)
	{
		return 0;
	}
	return 1;
}


int f2()
{
	list<int> l;
	if (0 == l.size())
	{
		return 0;
	}
	return 1;
}

int f3()
{
	list<int> l;
	if (!l.size())
	{
		return 0;
	}
	return 1;
}

int f4(int x)
{
	int result = x / 42;
	return result; 
}
