int main(void)
{
int *p = malloc(2 * sizeof(int));
assert(p);
struct uniqtype *old_type = __liballocs_get_alloc_type(p);
assert(old_type);
if (old_type->make_precise) old_type = old_type->make_precise(old_type,
NULL, 0, p, p, __liballocs_get_alloc_size(p), __builtin_return_address(0), NULL);
assert(old_type);
short *sp = realloc(p, 4 * sizeof(short));
struct uniqtype *new_type = __liballocs_get_alloc_type(p);
assert(new_type);
if (new_type->make_precise) new_type = new_type->make_precise(new_type,
NULL, 0, sp, sp, __liballocs_get_alloc_size(sp), __builtin_return_address(0), NULL);
assert(new_type);
struct uniqtype *union_type = __liballocs_get_or_create_union_type(2,
old_type,
new_type
);
struct allocator *a = __liballocs_leaf_allocator_for(sp, NULL, NULL);
liballocs_err_t err = a->set_type(/*a, */ sp, union_type);
assert(!err);
struct uniqtype *got_t = __liballocs_get_alloc_type(sp);
assert(got_t == union_type);
printf("The type is now: %s\n", NAME_FOR_UNIQTYPE(got_t));
/* Now do the same again but with the "add_type_to_block" convenience. */
int *p2 = malloc(2 * sizeof(int));
int ret = __liballocs_add_type_to_block(p2, &__uniqtype__short_int);
struct uniqtype *got_t2 = __liballocs_get_alloc_type(p2);
assert(got_t2 == union_type);
printf("And again: the type is now: %s\n", NAME_FOR_UNIQTYPE(got_t2));
return 0;
}
int main(void)
{
void *obj = malloc(sizeof (struct s1) - sizeof (int) + 24);
struct uniqtype *u = __liballocs_get_alloc_type(obj);
assert(UNIQTYPE_IS_COMPOSITE_TYPE(u));
return 0;
}
int main(void)
{
void *a = alloca(42 * sizeof (int));
printf("&__current_allocsite is %p\n", &__current_allocsite);
struct uniqtype *got_type = __liballocs_get_alloc_type(a);
struct uniqtype *int_type = dlsym(RTLD_NEXT, "__uniqtype__int");
assert(int_type);
assert(got_type);
assert(got_type == int_type);
return 0;
}
