/export/starexec/sandbox2/solver/bin/starexec_run_c /export/starexec/sandbox2/benchmark/theBenchmark.c /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE
proof of /export/starexec/sandbox2/benchmark/theBenchmark.c
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty


Termination of the given C Problem could not be shown:

(0) C Problem
(1) CToLLVMProof [EQUIVALENT, 164 ms]
(2) LLVM problem


----------------------------------------

(0)
Obligation:
c file /export/starexec/sandbox2/benchmark/theBenchmark.c
----------------------------------------

(1) CToLLVMProof (EQUIVALENT)
Compiled c-file /export/starexec/sandbox2/benchmark/theBenchmark.c to LLVM.
----------------------------------------

(2)
Obligation:
LLVM Problem

Aliases:

Data layout:

"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"

Machine:

"x86_64-pc-linux-gnu"

Type definitions:

struct.slave_item --> BasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item)

struct.master_item --> BasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)

Global variables:

Function declarations and definitions:

*BasicFunctionTypename: "malloc" returnParam: *i8 noalias parameters: (i64) variableLength: false visibilityType: DEFAULT callingConvention: ccc
*BasicFunctionTypename: "abort" returnParam: BasicVoidType parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
*BasicFunctionTypename: "__VERIFIER_nondet_int" returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
*BasicFunctionTypename: "free" returnParam: BasicVoidType parameters: (*i8) variableLength: false visibilityType: DEFAULT callingConvention: ccc
*BasicFunctionTypename: "__VERIFIER_error" returnParam: BasicVoidType parameters: () variableLength: true visibilityType: DEFAULT callingConvention: ccc
*BasicFunctionTypename: "alloc_or_die_slave" linkageType: EXTERNALLY_VISIBLE returnParam: *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%ptr = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		%1 = call noalias *i8 @malloc(i64 16) nounwind
		%2 = bitcast *i8 %1 to *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item)
		store %2, %ptr
		%3 = load %ptr
		%4 = icmp ne %3 null
		br %4, %6, %5
	5:
		Unnamed Call-Instruction = call BasicVoidType @abort() noreturn nounwind
		unreachable
	6:
		%7 = load %ptr
		%8 = getelementptr %7, 0, 0
		store null, %8
		%9 = load %ptr
		%10 = getelementptr %9, 0, 1
		store null, %10
		%11 = load %ptr
		ret %11

*BasicFunctionTypename: "alloc_or_die_master" linkageType: EXTERNALLY_VISIBLE returnParam: *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%ptr = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		%1 = call noalias *i8 @malloc(i64 24) nounwind
		%2 = bitcast *i8 %1 to *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)
		store %2, %ptr
		%3 = load %ptr
		%4 = icmp ne %3 null
		br %4, %6, %5
	5:
		Unnamed Call-Instruction = call BasicVoidType @abort() noreturn nounwind
		unreachable
	6:
		%7 = load %ptr
		%8 = getelementptr %7, 0, 0
		store null, %8
		%9 = load %ptr
		%10 = getelementptr %9, 0, 1
		store null, %10
		%11 = load %ptr
		%12 = getelementptr %11, 0, 2
		store null, %12
		%13 = load %ptr
		ret %13

*BasicFunctionTypename: "dll_insert_slave" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll **BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca **BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		%item = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		%next = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		%2 = call *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) @alloc_or_die_slave()
		store %2, %item
		%3 = load %1
		%4 = load %3
		store %4, %next
		%5 = load %next
		%6 = load %item
		%7 = getelementptr %6, 0, 0
		store %5, %7
		%8 = load %next
		%9 = icmp ne %8 null
		br %9, %10, %14
	10:
		%11 = load %item
		%12 = load %next
		%13 = getelementptr %12, 0, 1
		store %11, %13
		br %14
	14:
		%15 = load %item
		%16 = load %1
		store %15, %16
		ret void

*BasicFunctionTypename: "dll_create_generic" linkageType: EXTERNALLY_VISIBLE returnParam: *i8 parameters: (insert_fnc *BasicFunctionType varArgs: truereturnType: BasicVoidTypeparamTypes: ()) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicFunctionType varArgs: truereturnType: BasicVoidTypeparamTypes: (), align 8
		%dll = alloca *i8, align 8
		store %insert_fnc, %1
		store null, %dll
		%2 = load %1
		Unnamed Call-Instruction = call BasicVoidType (...)* %2(**i8 %dll)
		%3 = load %1
		Unnamed Call-Instruction = call BasicVoidType (...)* %3(**i8 %dll)
		br %4
	4:
		%5 = call i32 @__VERIFIER_nondet_int()
		%6 = icmp ne %5 0
		br %6, %7, %9
	7:
		%8 = load %1
		Unnamed Call-Instruction = call BasicVoidType (...)* %8(**i8 %dll)
		br %4
	9:
		%10 = load %dll
		ret %10

*BasicFunctionTypename: "dll_create_slave" linkageType: EXTERNALLY_VISIBLE returnParam: *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = call *i8 @dll_create_generic(*BasicFunctionType varArgs: truereturnType: BasicVoidTypeparamTypes: () aprove.InputModules.Programs.llvm.internalStructures.literals.const_expr.LLVMConversionConstExpr@51ed3704)
		%2 = bitcast *i8 %1 to *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item)
		ret %2

*BasicFunctionTypename: "dll_destroy_slave" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		%next = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		br %2
	2:
		%3 = load %1
		%4 = icmp ne %3 null
		br %4, %5, %12
	5:
		%6 = load %1
		%7 = getelementptr %6, 0, 0
		%8 = load %7
		store %8, %next
		%9 = load %1
		%10 = bitcast *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) %9 to *i8
		Unnamed Call-Instruction = call BasicVoidType @free(*i8 %10) nounwind
		%11 = load %next
		store %11, %1
		br %2
	12:
		ret void

*BasicFunctionTypename: "dll_destroy_nested_lists" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		br %2
	2:
		%3 = load %1
		%4 = icmp ne %3 null
		br %4, %5, %12
	5:
		%6 = load %1
		%7 = getelementptr %6, 0, 2
		%8 = load %7
		Unnamed Call-Instruction = call BasicVoidType @dll_destroy_slave(*BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) %8)
		%9 = load %1
		%10 = getelementptr %9, 0, 0
		%11 = load %10
		store %11, %1
		br %2
	12:
		ret void

*BasicFunctionTypename: "dll_reinit_nested_lists" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		br %2
	2:
		%3 = load %1
		%4 = icmp ne %3 null
		br %4, %5, %11
	5:
		%6 = load %1
		%7 = getelementptr %6, 0, 2
		store null, %7
		%8 = load %1
		%9 = getelementptr %8, 0, 0
		%10 = load %9
		store %10, %1
		br %2
	11:
		ret void

*BasicFunctionTypename: "dll_destroy_master" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		%next = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		br %2
	2:
		%3 = load %1
		%4 = icmp ne %3 null
		br %4, %5, %12
	5:
		%6 = load %1
		%7 = getelementptr %6, 0, 0
		%8 = load %7
		store %8, %next
		%9 = load %1
		%10 = bitcast *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %9 to *i8
		Unnamed Call-Instruction = call BasicVoidType @free(*i8 %10) nounwind
		%11 = load %next
		store %11, %1
		br %2
	12:
		ret void

*BasicFunctionTypename: "dll_insert_master" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll **BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca **BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		%item = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		%next = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		%2 = call *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) @alloc_or_die_master()
		store %2, %item
		%3 = load %1
		%4 = load %3
		store %4, %next
		%5 = load %next
		%6 = load %item
		%7 = getelementptr %6, 0, 0
		store %5, %7
		%8 = load %next
		%9 = icmp ne %8 null
		br %9, %10, %14
	10:
		%11 = load %item
		%12 = load %next
		%13 = getelementptr %12, 0, 1
		store %11, %13
		br %14
	14:
		%15 = call *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item) @dll_create_slave()
		%16 = load %item
		%17 = getelementptr %16, 0, 2
		store %15, %17
		%18 = load %item
		%19 = load %1
		store %18, %19
		ret void

*BasicFunctionTypename: "dll_create_master" linkageType: EXTERNALLY_VISIBLE returnParam: *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = call *i8 @dll_create_generic(*BasicFunctionType varArgs: truereturnType: BasicVoidTypeparamTypes: () aprove.InputModules.Programs.llvm.internalStructures.literals.const_expr.LLVMConversionConstExpr@45929431)
		%2 = bitcast *i8 %1 to *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)
		ret %2

*BasicFunctionTypename: "inspect_base" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		br %2
	2:
		%3 = load %1
		%4 = icmp ne %3 null
		br %4, %6, %5
	5:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %6
	6:
		br %7
	7:
		br %8
	8:
		%9 = load %1
		%10 = getelementptr %9, 0, 0
		%11 = load %10
		%12 = icmp ne %11 null
		br %12, %14, %13
	13:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %14
	14:
		br %15
	15:
		br %16
	16:
		%17 = load %1
		%18 = getelementptr %17, 0, 1
		%19 = load %18
		%20 = icmp ne %19 null
		br %20, %21, %22
	21:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %22
	22:
		br %23
	23:
		%24 = load %1
		%25 = getelementptr %24, 0, 0
		%26 = load %25
		store %26, %1
		br %27
	27:
		%28 = load %1
		%29 = icmp ne %28 null
		br %29, %30, %64
	30:
		br %31
	31:
		%32 = load %1
		%33 = getelementptr %32, 0, 1
		%34 = load %33
		%35 = icmp ne %34 null
		br %35, %37, %36
	36:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %37
	37:
		br %38
	38:
		br %39
	39:
		%40 = load %1
		%41 = getelementptr %40, 0, 1
		%42 = load %41
		%43 = getelementptr %42, 0, 0
		%44 = load %43
		%45 = icmp ne %44 null
		br %45, %47, %46
	46:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %47
	47:
		br %48
	48:
		br %49
	49:
		%50 = load %1
		%51 = getelementptr %50, 0, 1
		%52 = load %51
		%53 = getelementptr %52, 0, 0
		%54 = load %53
		%55 = load %1
		%56 = icmp eq %54 %55
		br %56, %58, %57
	57:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %58
	58:
		br %59
	59:
		br %60
	60:
		%61 = load %1
		%62 = getelementptr %61, 0, 0
		%63 = load %62
		store %63, %1
		br %27
	64:
		ret void

*BasicFunctionTypename: "fail" linkageType: INTERNAL returnParam: BasicVoidType parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		br %1
	1:
		Unnamed Call-Instruction = call BasicVoidType (...)* @__VERIFIER_error() noreturn
		unreachable
	2:
		ret void

*BasicFunctionTypename: "inspect_full" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		%pos = alloca *BasicTypeName typeName: struct.slave_itemBasicStructureType(elementType: *struct.slave_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		%2 = load %1
		Unnamed Call-Instruction = call BasicVoidType @inspect_base(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %2)
		br %3
	3:
		%4 = load %1
		%5 = icmp ne %4 null
		br %5, %6, %77
	6:
		%7 = load %1
		%8 = getelementptr %7, 0, 2
		%9 = load %8
		store %9, %pos
		br %10
	10:
		%11 = load %pos
		%12 = icmp ne %11 null
		br %12, %14, %13
	13:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %14
	14:
		br %15
	15:
		br %16
	16:
		%17 = load %pos
		%18 = getelementptr %17, 0, 0
		%19 = load %18
		%20 = icmp ne %19 null
		br %20, %22, %21
	21:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %22
	22:
		br %23
	23:
		br %24
	24:
		%25 = load %pos
		%26 = getelementptr %25, 0, 1
		%27 = load %26
		%28 = icmp ne %27 null
		br %28, %29, %30
	29:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %30
	30:
		br %31
	31:
		%32 = load %pos
		%33 = getelementptr %32, 0, 0
		%34 = load %33
		store %34, %pos
		br %35
	35:
		%36 = load %pos
		%37 = icmp ne %36 null
		br %37, %38, %72
	38:
		br %39
	39:
		%40 = load %pos
		%41 = getelementptr %40, 0, 1
		%42 = load %41
		%43 = icmp ne %42 null
		br %43, %45, %44
	44:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %45
	45:
		br %46
	46:
		br %47
	47:
		%48 = load %pos
		%49 = getelementptr %48, 0, 1
		%50 = load %49
		%51 = getelementptr %50, 0, 0
		%52 = load %51
		%53 = icmp ne %52 null
		br %53, %55, %54
	54:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %55
	55:
		br %56
	56:
		br %57
	57:
		%58 = load %pos
		%59 = getelementptr %58, 0, 1
		%60 = load %59
		%61 = getelementptr %60, 0, 0
		%62 = load %61
		%63 = load %pos
		%64 = icmp eq %62 %63
		br %64, %66, %65
	65:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %66
	66:
		br %67
	67:
		br %68
	68:
		%69 = load %pos
		%70 = getelementptr %69, 0, 0
		%71 = load %70
		store %71, %pos
		br %35
	72:
		br %73
	73:
		%74 = load %1
		%75 = getelementptr %74, 0, 0
		%76 = load %75
		store %76, %1
		br %3
	77:
		ret void

*BasicFunctionTypename: "inspect_dangling" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		%2 = load %1
		Unnamed Call-Instruction = call BasicVoidType @inspect_base(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %2)
		br %3
	3:
		%4 = load %1
		%5 = icmp ne %4 null
		br %5, %6, %19
	6:
		br %7
	7:
		%8 = load %1
		%9 = getelementptr %8, 0, 2
		%10 = load %9
		%11 = icmp ne %10 null
		br %11, %13, %12
	12:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %13
	13:
		br %14
	14:
		br %15
	15:
		%16 = load %1
		%17 = getelementptr %16, 0, 0
		%18 = load %17
		store %18, %1
		br %3
	19:
		ret void

*BasicFunctionTypename: "inspect_init" linkageType: EXTERNALLY_VISIBLE returnParam: BasicVoidType parameters: (dll *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item)) variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store %dll, %1
		%2 = load %1
		Unnamed Call-Instruction = call BasicVoidType @inspect_base(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %2)
		br %3
	3:
		%4 = load %1
		%5 = icmp ne %4 null
		br %5, %6, %19
	6:
		br %7
	7:
		%8 = load %1
		%9 = getelementptr %8, 0, 2
		%10 = load %9
		%11 = icmp ne %10 null
		br %11, %12, %13
	12:
		Unnamed Call-Instruction = call BasicVoidType @fail()
		br %13
	13:
		br %14
	14:
		br %15
	15:
		%16 = load %1
		%17 = getelementptr %16, 0, 0
		%18 = load %17
		store %18, %1
		br %3
	19:
		ret void

*BasicFunctionTypename: "main" linkageType: EXTERNALLY_VISIBLE returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc
	0:
		%1 = alloca i32, align 4
		%dll = alloca *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item), align 8
		store 0, %1
		%2 = call *BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) @dll_create_master()
		store %2, %dll
		%3 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @inspect_full(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %3)
		%4 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @dll_destroy_nested_lists(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %4)
		%5 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @inspect_dangling(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %5)
		%6 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @dll_reinit_nested_lists(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %6)
		%7 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @inspect_init(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %7)
		%8 = load %dll
		Unnamed Call-Instruction = call BasicVoidType @dll_destroy_master(*BasicTypeName typeName: struct.master_itemBasicStructureType(elementType: *struct.master_item, elementType: *struct.master_item, elementType: *struct.slave_item) %8)
		ret 0


Analyze Termination of all function calls matching the pattern:
main()