ut_def(foo, int) {} ut_enddef
// XFAIL: C (breakv has no address)
ut_def(t_main, void)
{
int *a;
ut_create(f1,,,,,,int,foo);
ut_sync(f1);
a = &(ut_getbr(f1));
}
//
// usebv.ut.c: this file is part of the SL toolchain.
//
// Copyright (C) 2009 Universiteit van Amsterdam.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 3
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
#include <libutc.h>
ut_def(foo, int)
{
ut_break(0);
}
ut_enddef
ut_def(t_main, void)
{
ut_create(f,,,,,, int, foo);
ut_sync(f);
int z = ut_getbr(f);
}
ut_enddef
