/* methods_postconditions_temp_variables.c generated by valac, the Vala compiler
 * generated from methods_postconditions_temp_variables.vala, do not modify */

#include <stdlib.h>
#include <string.h>
#include <glib.h>

#if !defined(VALA_EXTERN)
#if defined(_WIN32) || defined(__CYGWIN__)
#define VALA_EXTERN __declspec(dllexport) extern
#elif __GNUC__ >= 4
#define VALA_EXTERN __attribute__((visibility("default"))) extern
#else
#define VALA_EXTERN extern
#endif
#endif

#define _g_free0(var) (var = (g_free (var), NULL))
#define _vala_assert(expr, msg) if G_LIKELY (expr) ; else g_assertion_message_expr (G_LOG_DOMAIN, __FILE__, __LINE__, G_STRFUNC, msg);
#define _vala_return_if_fail(expr, msg) if G_LIKELY (expr) ; else { g_return_if_fail_warning (G_LOG_DOMAIN, G_STRFUNC, msg); return; }
#define _vala_return_val_if_fail(expr, msg, val) if G_LIKELY (expr) ; else { g_return_if_fail_warning (G_LOG_DOMAIN, G_STRFUNC, msg); return val; }
#define _vala_warn_if_fail(expr, msg) if G_LIKELY (expr) ; else g_warn_message (G_LOG_DOMAIN, __FILE__, __LINE__, G_STRFUNC, msg);

VALA_EXTERN gchar* foo (void);
VALA_EXTERN gchar* bar (gboolean b);
static void _vala_main (void);

static const gchar*
string_to_string (const gchar* self)
{
	const gchar* result;
	g_return_val_if_fail (self != NULL, NULL);
	result = self;
	return result;
}

gchar*
foo (void)
{
	gchar* _tmp0_;
	const gchar* _tmp1_;
	gchar* result;
	_tmp0_ = g_strdup_printf ("%i", 4711);
	result = _tmp0_;
	_tmp1_ = string_to_string (result);
	_vala_warn_if_fail (g_strcmp0 (_tmp1_, "23") != 0, "result.to_string () != \"23\"");
	return result;
}

gchar*
bar (gboolean b)
{
	gchar* result;
	if (b) {
		gchar* _tmp0_;
		const gchar* _tmp1_;
		const gchar* _tmp2_;
		_tmp0_ = g_strdup_printf ("%i", 23);
		result = _tmp0_;
		_tmp1_ = result;
		_tmp2_ = string_to_string (_tmp1_);
		_vala_warn_if_fail (g_strcmp0 (_tmp2_, "4711") != 0, "result.to_string () != \"4711\"");
		return result;
	} else {
		gchar* _tmp3_;
		const gchar* _tmp4_;
		const gchar* _tmp5_;
		_tmp3_ = g_strdup_printf ("%i", 42);
		result = _tmp3_;
		_tmp4_ = result;
		_tmp5_ = string_to_string (_tmp4_);
		_vala_warn_if_fail (g_strcmp0 (_tmp5_, "4711") != 0, "result.to_string () != \"4711\"");
		return result;
	}
}

static void
_vala_main (void)
{
	gchar* _tmp0_;
	gchar* _tmp1_;
	gchar* _tmp2_;
	gchar* _tmp3_;
	gchar* _tmp4_;
	gchar* _tmp5_;
	_tmp0_ = foo ();
	_tmp1_ = _tmp0_;
	_vala_assert (g_strcmp0 (_tmp1_, "4711") == 0, "foo () == \"4711\"");
	_g_free0 (_tmp1_);
	_tmp2_ = bar (TRUE);
	_tmp3_ = _tmp2_;
	_vala_assert (g_strcmp0 (_tmp3_, "23") == 0, "bar (true) == \"23\"");
	_g_free0 (_tmp3_);
	_tmp4_ = bar (FALSE);
	_tmp5_ = _tmp4_;
	_vala_assert (g_strcmp0 (_tmp5_, "42") == 0, "bar (false) == \"42\"");
	_g_free0 (_tmp5_);
}

int
main (int argc,
      char ** argv)
{
	_vala_main ();
	return 0;
}