22.96/9.80 MAYBE 22.96/9.81 proof of /export/starexec/sandbox2/benchmark/theBenchmark.c 22.96/9.81 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 22.96/9.81 22.96/9.81 22.96/9.81 Termination of the given C Problem could not be shown: 22.96/9.81 22.96/9.81 (0) C Problem 22.96/9.81 (1) CToLLVMProof [EQUIVALENT, 168 ms] 22.96/9.81 (2) LLVM problem 22.96/9.81 22.96/9.81 22.96/9.81 ---------------------------------------- 22.96/9.81 22.96/9.81 (0) 22.96/9.81 Obligation: 22.96/9.81 c file /export/starexec/sandbox2/benchmark/theBenchmark.c 22.96/9.81 ---------------------------------------- 22.96/9.81 22.96/9.81 (1) CToLLVMProof (EQUIVALENT) 22.96/9.81 Compiled c-file /export/starexec/sandbox2/benchmark/theBenchmark.c to LLVM. 22.96/9.81 ---------------------------------------- 22.96/9.81 22.96/9.81 (2) 22.96/9.81 Obligation: 22.96/9.81 LLVM Problem 22.96/9.81 22.96/9.81 Aliases: 22.96/9.81 22.96/9.81 Data layout: 22.96/9.81 22.96/9.81 "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" 22.96/9.81 22.96/9.81 Machine: 22.96/9.81 22.96/9.81 "x86_64-pc-linux-gnu" 22.96/9.81 22.96/9.81 Type definitions: 22.96/9.81 22.96/9.81 Global variables: 22.96/9.81 22.96/9.81 Function declarations and definitions: 22.96/9.81 22.96/9.81 *BasicFunctionTypename: "__VERIFIER_nondet_int" returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc 22.96/9.81 *BasicFunctionTypename: "__VERIFIER_nondet_long" returnParam: i64 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc 22.96/9.81 *BasicFunctionTypename: "__VERIFIER_error" returnParam: BasicVoidType parameters: () variableLength: true visibilityType: DEFAULT callingConvention: ccc 22.96/9.81 *BasicFunctionTypename: "ssl3_accept" linkageType: EXTERNALLY_VISIBLE returnParam: i32 parameters: (initial_state i32) variableLength: false visibilityType: DEFAULT callingConvention: ccc 22.96/9.81 0: 22.96/9.81 %1 = alloca i32, align 4 22.96/9.81 %2 = alloca i32, align 4 22.96/9.81 %s__info_callback = alloca i32, align 4 22.96/9.81 %s__in_handshake = alloca i32, align 4 22.96/9.81 %s__state = alloca i32, align 4 22.96/9.81 %s__new_session = alloca i32, align 4 22.96/9.81 %s__server = alloca i32, align 4 22.96/9.81 %s__version = alloca i32, align 4 22.96/9.81 %s__type = alloca i32, align 4 22.96/9.81 %s__init_num = alloca i32, align 4 22.96/9.81 %s__hit = alloca i32, align 4 22.96/9.81 %s__rwstate = alloca i32, align 4 22.96/9.81 %s__init_buf___0 = alloca i32, align 4 22.96/9.81 %s__debug = alloca i32, align 4 22.96/9.81 %s__shutdown = alloca i32, align 4 22.96/9.81 %s__cert = alloca i32, align 4 22.96/9.81 %s__options = alloca i32, align 4 22.96/9.81 %s__verify_mode = alloca i32, align 4 22.96/9.81 %s__session__peer = alloca i32, align 4 22.96/9.81 %s__cert__pkeys__AT0__privatekey = alloca i32, align 4 22.96/9.81 %s__ctx__info_callback = alloca i32, align 4 22.96/9.81 %s__ctx__stats__sess_accept_renegotiate = alloca i32, align 4 22.96/9.81 %s__ctx__stats__sess_accept = alloca i32, align 4 22.96/9.81 %s__ctx__stats__sess_accept_good = alloca i32, align 4 22.96/9.81 %s__s3__tmp__cert_request = alloca i32, align 4 22.96/9.81 %s__s3__tmp__reuse_message = alloca i32, align 4 22.96/9.81 %s__s3__tmp__use_rsa_tmp = alloca i32, align 4 22.96/9.81 %s__s3__tmp__new_cipher = alloca i32, align 4 22.96/9.81 %s__s3__tmp__new_cipher__algorithms = alloca i32, align 4 22.96/9.81 %s__s3__tmp__next_state___0 = alloca i32, align 4 22.96/9.81 %s__s3__tmp__new_cipher__algo_strength = alloca i32, align 4 22.96/9.81 %s__session__cipher = alloca i32, align 4 22.96/9.81 %buf = alloca i32, align 4 22.96/9.81 %l = alloca i64, align 8 22.96/9.81 %Time = alloca i64, align 8 22.96/9.81 %tmp = alloca i64, align 8 22.96/9.81 %cb = alloca i32, align 4 22.96/9.81 %num1 = alloca i64, align 8 22.96/9.81 %ret = alloca i32, align 4 22.96/9.81 %new_state = alloca i32, align 4 22.96/9.81 %state = alloca i32, align 4 22.96/9.81 %skip = alloca i32, align 4 22.96/9.81 %got_new_session = alloca i32, align 4 22.96/9.81 %tmp___1 = alloca i32, align 4 22.96/9.81 %tmp___2 = alloca i32, align 4 22.96/9.81 %tmp___3 = alloca i32, align 4 22.96/9.81 %tmp___4 = alloca i32, align 4 22.96/9.81 %tmp___5 = alloca i32, align 4 22.96/9.81 %tmp___6 = alloca i32, align 4 22.96/9.81 %tmp___7 = alloca i32, align 4 22.96/9.81 %tmp___8 = alloca i64, align 8 22.96/9.81 %tmp___9 = alloca i32, align 4 22.96/9.81 %tmp___10 = alloca i32, align 4 22.96/9.81 %blastFlag = alloca i32, align 4 22.96/9.81 %__cil_tmp55 = alloca i32, align 4 22.96/9.81 %__cil_tmp56 = alloca i64, align 8 22.96/9.81 %__cil_tmp57 = alloca i64, align 8 22.96/9.81 %__cil_tmp58 = alloca i64, align 8 22.96/9.81 %__cil_tmp59 = alloca i64, align 8 22.96/9.81 %__cil_tmp60 = alloca i32, align 4 22.96/9.81 %__cil_tmp61 = alloca i64, align 8 22.96/9.81 store %initial_state, %2 22.96/9.81 %3 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %3, %s__info_callback 22.96/9.81 %4 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %4, %s__in_handshake 22.96/9.81 %5 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %5, %s__version 22.96/9.81 %6 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %6, %s__hit 22.96/9.81 %7 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %7, %s__debug 22.96/9.81 %8 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %8, %s__cert 22.96/9.81 %9 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %9, %s__options 22.96/9.81 %10 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %10, %s__verify_mode 22.96/9.81 %11 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %11, %s__session__peer 22.96/9.81 %12 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %12, %s__cert__pkeys__AT0__privatekey 22.96/9.81 %13 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %13, %s__ctx__info_callback 22.96/9.81 %14 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %14, %s__ctx__stats__sess_accept_renegotiate 22.96/9.81 %15 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %15, %s__ctx__stats__sess_accept 22.96/9.81 %16 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %16, %s__ctx__stats__sess_accept_good 22.96/9.81 %17 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %17, %s__s3__tmp__reuse_message 22.96/9.81 %18 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %18, %s__s3__tmp__new_cipher 22.96/9.81 %19 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %19, %s__s3__tmp__new_cipher__algorithms 22.96/9.81 %20 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %20, %s__s3__tmp__new_cipher__algo_strength 22.96/9.81 %21 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %21, %buf 22.96/9.81 %22 = call i64 @__VERIFIER_nondet_long() 22.96/9.81 store %22, %tmp 22.96/9.81 %23 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %23, %tmp___1 22.96/9.81 %24 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %24, %tmp___2 22.96/9.81 %25 = call i64 @__VERIFIER_nondet_long() 22.96/9.81 store %25, %tmp___8 22.96/9.81 %26 = load %2 22.96/9.81 store %26, %s__state 22.96/9.81 store 0, %blastFlag 22.96/9.81 %27 = load %tmp 22.96/9.81 store %27, %Time 22.96/9.81 store 0, %cb 22.96/9.81 store -1, %ret 22.96/9.81 store 0, %skip 22.96/9.81 store 0, %got_new_session 22.96/9.81 %28 = load %s__info_callback 22.96/9.81 %29 = icmp ne %28 0 22.96/9.81 br %29, %30, %32 22.96/9.81 30: 22.96/9.81 %31 = load %s__info_callback 22.96/9.81 store %31, %cb 22.96/9.81 br %38 22.96/9.81 32: 22.96/9.81 %33 = load %s__ctx__info_callback 22.96/9.81 %34 = icmp ne %33 0 22.96/9.81 br %34, %35, %37 22.96/9.81 35: 22.96/9.81 %36 = load %s__ctx__info_callback 22.96/9.81 store %36, %cb 22.96/9.81 br %37 22.96/9.81 37: 22.96/9.81 br %38 22.96/9.81 38: 22.96/9.81 %39 = load %s__in_handshake 22.96/9.81 %40 = add %39 1 22.96/9.81 store %40, %s__in_handshake 22.96/9.81 %41 = load %tmp___1 22.96/9.81 %42 = add %41 12288 22.96/9.81 %43 = icmp ne %42 0 22.96/9.81 br %43, %44, %50 22.96/9.81 44: 22.96/9.81 %45 = load %tmp___2 22.96/9.81 %46 = add %45 16384 22.96/9.81 %47 = icmp ne %46 0 22.96/9.81 br %47, %48, %49 22.96/9.81 48: 22.96/9.81 br %49 22.96/9.81 49: 22.96/9.81 br %50 22.96/9.81 50: 22.96/9.81 %51 = load %s__cert 22.96/9.81 %52 = icmp eq %51 0 22.96/9.81 br %52, %53, %54 22.96/9.81 53: 22.96/9.81 store -1, %1 22.96/9.81 br %599 22.96/9.81 54: 22.96/9.81 br %55 22.96/9.81 55: 22.96/9.81 br %56 22.96/9.81 56: 22.96/9.81 %57 = load %s__state 22.96/9.81 store %57, %state 22.96/9.81 %58 = load %s__state 22.96/9.81 %59 = icmp eq %58 12292 22.96/9.81 br %59, %60, %61 22.96/9.81 60: 22.96/9.81 br %200 22.96/9.81 61: 22.96/9.81 %62 = load %s__state 22.96/9.81 %63 = icmp eq %62 16384 22.96/9.81 br %63, %64, %65 22.96/9.81 64: 22.96/9.81 br %201 22.96/9.81 65: 22.96/9.81 %66 = load %s__state 22.96/9.81 %67 = icmp eq %66 8192 22.96/9.81 br %67, %68, %69 22.96/9.81 68: 22.96/9.81 br %202 22.96/9.81 69: 22.96/9.81 %70 = load %s__state 22.96/9.81 %71 = icmp eq %70 24576 22.96/9.81 br %71, %72, %73 22.96/9.81 72: 22.96/9.81 br %203 22.96/9.81 73: 22.96/9.81 %74 = load %s__state 22.96/9.81 %75 = icmp eq %74 8195 22.96/9.81 br %75, %76, %77 22.96/9.81 76: 22.96/9.81 br %204 22.96/9.81 77: 22.96/9.81 %78 = load %s__state 22.96/9.81 %79 = icmp eq %78 8480 22.96/9.81 br %79, %80, %81 22.96/9.81 80: 22.96/9.81 br %244 22.96/9.81 81: 22.96/9.81 %82 = load %s__state 22.96/9.81 %83 = icmp eq %82 8481 22.96/9.81 br %83, %84, %85 22.96/9.81 84: 22.96/9.81 br %245 22.96/9.81 85: 22.96/9.81 %86 = load %s__state 22.96/9.81 %87 = icmp eq %86 8482 22.96/9.81 br %87, %88, %89 22.96/9.81 88: 22.96/9.81 br %251 22.96/9.81 89: 22.96/9.81 %90 = load %s__state 22.96/9.81 %91 = icmp eq %90 8464 22.96/9.81 br %91, %92, %93 22.96/9.81 92: 22.96/9.81 br %252 22.96/9.81 93: 22.96/9.81 %94 = load %s__state 22.96/9.81 %95 = icmp eq %94 8465 22.96/9.81 br %95, %96, %97 22.96/9.81 96: 22.96/9.81 br %253 22.96/9.81 97: 22.96/9.81 %98 = load %s__state 22.96/9.81 %99 = icmp eq %98 8466 22.96/9.81 br %99, %100, %101 22.96/9.81 100: 22.96/9.81 br %254 22.96/9.81 101: 22.96/9.81 %102 = load %s__state 22.96/9.81 %103 = icmp eq %102 8496 22.96/9.81 br %103, %104, %105 22.96/9.81 104: 22.96/9.81 br %264 22.96/9.81 105: 22.96/9.81 %106 = load %s__state 22.96/9.81 %107 = icmp eq %106 8497 22.96/9.81 br %107, %108, %109 22.96/9.81 108: 22.96/9.81 br %265 22.96/9.81 109: 22.96/9.81 %110 = load %s__state 22.96/9.81 %111 = icmp eq %110 8512 22.96/9.81 br %111, %112, %113 22.96/9.81 112: 22.96/9.81 br %280 22.96/9.81 113: 22.96/9.81 %114 = load %s__state 22.96/9.81 %115 = icmp eq %114 8513 22.96/9.81 br %115, %116, %117 22.96/9.81 116: 22.96/9.81 br %281 22.96/9.81 117: 22.96/9.81 %118 = load %s__state 22.96/9.81 %119 = icmp eq %118 8528 22.96/9.81 br %119, %120, %121 22.96/9.81 120: 22.96/9.81 br %295 22.96/9.81 121: 22.96/9.81 %122 = load %s__state 22.96/9.81 %123 = icmp eq %122 8529 22.96/9.81 br %123, %124, %125 22.96/9.81 124: 22.96/9.81 br %296 22.96/9.81 125: 22.96/9.81 %126 = load %s__state 22.96/9.81 %127 = icmp eq %126 8544 22.96/9.81 br %127, %128, %129 22.96/9.81 128: 22.96/9.81 br %360 22.96/9.81 129: 22.96/9.81 %130 = load %s__state 22.96/9.81 %131 = icmp eq %130 8545 22.96/9.81 br %131, %132, %133 22.96/9.81 132: 22.96/9.81 br %361 22.96/9.81 133: 22.96/9.81 %134 = load %s__state 22.96/9.81 %135 = icmp eq %134 8560 22.96/9.81 br %135, %136, %137 22.96/9.81 136: 22.96/9.81 br %400 22.96/9.81 137: 22.96/9.81 %138 = load %s__state 22.96/9.81 %139 = icmp eq %138 8561 22.96/9.81 br %139, %140, %141 22.96/9.81 140: 22.96/9.81 br %401 22.96/9.81 141: 22.96/9.81 %142 = load %s__state 22.96/9.81 %143 = icmp eq %142 8448 22.96/9.81 br %143, %144, %145 22.96/9.81 144: 22.96/9.81 br %407 22.96/9.81 145: 22.96/9.81 %146 = load %s__state 22.96/9.81 %147 = icmp eq %146 8576 22.96/9.81 br %147, %148, %149 22.96/9.81 148: 22.96/9.81 br %420 22.96/9.81 149: 22.96/9.81 %150 = load %s__state 22.96/9.81 %151 = icmp eq %150 8577 22.96/9.81 br %151, %152, %153 22.96/9.81 152: 22.96/9.81 br %421 22.96/9.81 153: 22.96/9.81 %154 = load %s__state 22.96/9.81 %155 = icmp eq %154 8592 22.96/9.81 br %155, %156, %157 22.96/9.81 156: 22.96/9.81 br %437 22.96/9.81 157: 22.96/9.81 %158 = load %s__state 22.96/9.81 %159 = icmp eq %158 8593 22.96/9.81 br %159, %160, %161 22.96/9.81 160: 22.96/9.81 br %438 22.96/9.81 161: 22.96/9.81 %162 = load %s__state 22.96/9.81 %163 = icmp eq %162 8608 22.96/9.81 br %163, %164, %165 22.96/9.81 164: 22.96/9.81 br %444 22.96/9.81 165: 22.96/9.81 %166 = load %s__state 22.96/9.81 %167 = icmp eq %166 8609 22.96/9.81 br %167, %168, %169 22.96/9.81 168: 22.96/9.81 br %445 22.96/9.81 169: 22.96/9.81 %170 = load %s__state 22.96/9.81 %171 = icmp eq %170 8640 22.96/9.81 br %171, %172, %173 22.96/9.81 172: 22.96/9.81 br %451 22.96/9.81 173: 22.96/9.81 %174 = load %s__state 22.96/9.81 %175 = icmp eq %174 8641 22.96/9.81 br %175, %176, %177 22.96/9.81 176: 22.96/9.81 br %452 22.96/9.81 177: 22.96/9.81 %178 = load %s__state 22.96/9.81 %179 = icmp eq %178 8656 22.96/9.81 br %179, %180, %181 22.96/9.81 180: 22.96/9.81 br %467 22.96/9.81 181: 22.96/9.81 %182 = load %s__state 22.96/9.81 %183 = icmp eq %182 8657 22.96/9.81 br %183, %184, %185 22.96/9.81 184: 22.96/9.81 br %468 22.96/9.81 185: 22.96/9.81 %186 = load %s__state 22.96/9.81 %187 = icmp eq %186 8672 22.96/9.81 br %187, %188, %189 22.96/9.81 188: 22.96/9.81 br %489 22.96/9.81 189: 22.96/9.81 %190 = load %s__state 22.96/9.81 %191 = icmp eq %190 8673 22.96/9.81 br %191, %192, %193 22.96/9.81 192: 22.96/9.81 br %490 22.96/9.81 193: 22.96/9.81 %194 = load %s__state 22.96/9.81 %195 = icmp eq %194 3 22.96/9.81 br %195, %196, %197 22.96/9.81 196: 22.96/9.81 br %510 22.96/9.81 197: 22.96/9.81 br %521 22.96/9.81 198: 22.96/9.81 br 0, %199, %522 22.96/9.81 199: 22.96/9.81 br %200 22.96/9.81 200: 22.96/9.81 store 1, %s__new_session 22.96/9.81 br %201 22.96/9.81 201: 22.96/9.81 br %202 22.96/9.81 202: 22.96/9.81 br %203 22.96/9.81 203: 22.96/9.81 br %204 22.96/9.81 204: 22.96/9.81 store 1, %s__server 22.96/9.81 %205 = load %cb 22.96/9.81 %206 = icmp ne %205 0 22.96/9.81 br %206, %207, %208 22.96/9.81 207: 22.96/9.81 br %208 22.96/9.81 208: 22.96/9.81 %209 = load %s__version 22.96/9.81 %210 = mul %209 8 22.96/9.81 store %210, %__cil_tmp55 22.96/9.81 %211 = load %__cil_tmp55 22.96/9.81 %212 = icmp ne %211 3 22.96/9.81 br %212, %213, %214 22.96/9.81 213: 22.96/9.81 store -1, %1 22.96/9.81 br %599 22.96/9.81 214: 22.96/9.81 store 8192, %s__type 22.96/9.81 %215 = load %s__init_buf___0 22.96/9.81 %216 = icmp eq %215 0 22.96/9.81 br %216, %217, %224 22.96/9.81 217: 22.96/9.81 %218 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %218, %tmp___3 22.96/9.81 %219 = load %tmp___3 22.96/9.81 %220 = icmp ne %219 0 22.96/9.81 br %220, %222, %221 22.96/9.81 221: 22.96/9.81 store -1, %ret 22.96/9.81 br %590 22.96/9.81 222: 22.96/9.81 %223 = load %buf 22.96/9.81 store %223, %s__init_buf___0 22.96/9.81 br %224 22.96/9.81 224: 22.96/9.81 %225 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %225, %tmp___4 22.96/9.81 %226 = load %tmp___4 22.96/9.81 %227 = icmp ne %226 0 22.96/9.81 br %227, %229, %228 22.96/9.81 228: 22.96/9.81 store -1, %ret 22.96/9.81 br %590 22.96/9.81 229: 22.96/9.81 store 0, %s__init_num 22.96/9.81 %230 = load %s__state 22.96/9.81 %231 = icmp ne %230 12292 22.96/9.81 br %231, %232, %240 22.96/9.81 232: 22.96/9.81 %233 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %233, %tmp___5 22.96/9.81 %234 = load %tmp___5 22.96/9.81 %235 = icmp ne %234 0 22.96/9.81 br %235, %237, %236 22.96/9.81 236: 22.96/9.81 store -1, %ret 22.96/9.81 br %590 22.96/9.81 237: 22.96/9.81 store 8464, %s__state 22.96/9.81 %238 = load %s__ctx__stats__sess_accept 22.96/9.81 %239 = add %238 1 22.96/9.81 store %239, %s__ctx__stats__sess_accept 22.96/9.81 br %243 22.96/9.81 240: 22.96/9.81 %241 = load %s__ctx__stats__sess_accept_renegotiate 22.96/9.81 %242 = add %241 1 22.96/9.81 store %242, %s__ctx__stats__sess_accept_renegotiate 22.96/9.81 store 8480, %s__state 22.96/9.81 br %243 22.96/9.81 243: 22.96/9.81 br %523 22.96/9.81 244: 22.96/9.81 br %245 22.96/9.81 245: 22.96/9.81 store 0, %s__shutdown 22.96/9.81 %246 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %246, %ret 22.96/9.81 %247 = load %ret 22.96/9.81 %248 = icmp sle %247 0 22.96/9.81 br %248, %249, %250 22.96/9.81 249: 22.96/9.81 br %590 22.96/9.81 250: 22.96/9.81 store 8482, %s__s3__tmp__next_state___0 22.96/9.81 store 8448, %s__state 22.96/9.81 store 0, %s__init_num 22.96/9.81 br %523 22.96/9.81 251: 22.96/9.81 store 3, %s__state 22.96/9.81 br %523 22.96/9.81 252: 22.96/9.81 br %253 22.96/9.81 253: 22.96/9.81 br %254 22.96/9.81 254: 22.96/9.81 store 0, %s__shutdown 22.96/9.81 %255 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %255, %ret 22.96/9.81 %256 = load %blastFlag 22.96/9.81 %257 = icmp eq %256 0 22.96/9.81 br %257, %258, %259 22.96/9.81 258: 22.96/9.81 store 1, %blastFlag 22.96/9.81 br %259 22.96/9.81 259: 22.96/9.81 %260 = load %ret 22.96/9.81 %261 = icmp sle %260 0 22.96/9.81 br %261, %262, %263 22.96/9.81 262: 22.96/9.81 br %590 22.96/9.81 263: 22.96/9.81 store 1, %got_new_session 22.96/9.81 store 8496, %s__state 22.96/9.81 store 0, %s__init_num 22.96/9.81 br %523 22.96/9.81 264: 22.96/9.81 br %265 22.96/9.81 265: 22.96/9.81 %266 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %266, %ret 22.96/9.81 %267 = load %blastFlag 22.96/9.81 %268 = icmp eq %267 1 22.96/9.81 br %268, %269, %270 22.96/9.81 269: 22.96/9.81 store 2, %blastFlag 22.96/9.81 br %270 22.96/9.81 270: 22.96/9.81 %271 = load %ret 22.96/9.81 %272 = icmp sle %271 0 22.96/9.81 br %272, %273, %274 22.96/9.81 273: 22.96/9.81 br %590 22.96/9.81 274: 22.96/9.81 %275 = load %s__hit 22.96/9.81 %276 = icmp ne %275 0 22.96/9.81 br %276, %277, %278 22.96/9.81 277: 22.96/9.81 store 8656, %s__state 22.96/9.81 br %279 22.96/9.81 278: 22.96/9.81 store 8512, %s__state 22.96/9.81 br %279 22.96/9.81 279: 22.96/9.81 store 0, %s__init_num 22.96/9.81 br %523 22.96/9.81 280: 22.96/9.81 br %281 22.96/9.81 281: 22.96/9.81 %282 = load %s__s3__tmp__new_cipher__algorithms 22.96/9.81 %283 = sext i32 %282 to i64 22.96/9.81 store %283, %__cil_tmp56 22.96/9.81 %284 = load %__cil_tmp56 22.96/9.81 %285 = add %284 256 22.96/9.81 %286 = icmp ne %285 0 22.96/9.81 br %286, %287, %288 22.96/9.81 287: 22.96/9.81 store 1, %skip 22.96/9.81 br %294 22.96/9.81 288: 22.96/9.81 %289 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %289, %ret 22.96/9.81 %290 = load %ret 22.96/9.81 %291 = icmp sle %290 0 22.96/9.81 br %291, %292, %293 22.96/9.81 292: 22.96/9.81 br %590 22.96/9.81 293: 22.96/9.81 br %294 22.96/9.81 294: 22.96/9.81 store 8528, %s__state 22.96/9.81 store 0, %s__init_num 22.96/9.81 br %523 22.96/9.81 295: 22.96/9.81 br %296 22.96/9.81 296: 22.96/9.81 %297 = load %s__s3__tmp__new_cipher__algorithms 22.96/9.81 %298 = sext i32 %297 to i64 22.96/9.81 store %298, %l 22.96/9.81 %299 = load %s__options 22.96/9.81 %300 = sext i32 %299 to i64 22.96/9.81 store %300, %__cil_tmp57 22.96/9.81 %301 = load %__cil_tmp57 22.96/9.81 %302 = add %301 2097152 22.96/9.81 %303 = icmp ne %302 0 22.96/9.81 br %303, %304, %305 22.96/9.81 304: 22.96/9.81 store 1, %s__s3__tmp__use_rsa_tmp 22.96/9.81 br %306 22.96/9.81 305: 22.96/9.81 store 0, %s__s3__tmp__use_rsa_tmp 22.96/9.81 br %306 22.96/9.81 306: 22.96/9.81 %307 = load %s__s3__tmp__use_rsa_tmp 22.96/9.81 %308 = icmp ne %307 0 22.96/9.81 br %308, %309, %310 22.96/9.81 309: 22.96/9.81 br %345 22.96/9.81 310: 22.96/9.81 %311 = load %l 22.96/9.81 %312 = add %311 30 22.96/9.81 %313 = icmp ne %312 0 22.96/9.81 br %313, %314, %315 22.96/9.81 314: 22.96/9.81 br %345 22.96/9.81 315: 22.96/9.81 %316 = load %l 22.96/9.81 %317 = add %316 1 22.96/9.81 %318 = icmp ne %317 0 22.96/9.81 br %318, %319, %356 22.96/9.81 319: 22.96/9.81 %320 = load %s__cert__pkeys__AT0__privatekey 22.96/9.81 %321 = icmp eq %320 0 22.96/9.81 br %321, %322, %323 22.96/9.81 322: 22.96/9.81 br %345 22.96/9.81 323: 22.96/9.81 %324 = load %s__s3__tmp__new_cipher__algo_strength 22.96/9.81 %325 = sext i32 %324 to i64 22.96/9.81 store %325, %__cil_tmp58 22.96/9.81 %326 = load %__cil_tmp58 22.96/9.81 %327 = add %326 2 22.96/9.81 %328 = icmp ne %327 0 22.96/9.81 br %328, %329, %353 22.96/9.81 329: 22.96/9.81 %330 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %330, %tmp___6 22.96/9.81 %331 = load %s__s3__tmp__new_cipher__algo_strength 22.96/9.81 %332 = sext i32 %331 to i64 22.96/9.81 store %332, %__cil_tmp59 22.96/9.81 %333 = load %__cil_tmp59 22.96/9.81 %334 = add %333 4 22.96/9.81 %335 = icmp ne %334 0 22.96/9.81 br %335, %336, %337 22.96/9.81 336: 22.96/9.81 store 512, %tmp___7 22.96/9.81 br %338 22.96/9.81 337: 22.96/9.81 store 1024, %tmp___7 22.96/9.81 br %338 22.96/9.81 338: 22.96/9.81 %339 = load %tmp___6 22.96/9.81 %340 = mul %339 8 22.96/9.81 store %340, %__cil_tmp60 22.96/9.81 %341 = load %__cil_tmp60 22.96/9.81 %342 = load %tmp___7 22.96/9.81 %343 = icmp sgt %341 %342 22.96/9.81 br %343, %344, %351 22.96/9.81 344: 22.96/9.81 br %345 22.96/9.81 345: 22.96/9.81 %346 = call i32 @__VERIFIER_nondet_int() 22.96/9.81 store %346, %ret 22.96/9.81 %347 = load %ret 22.96/9.81 %348 = icmp sle %347 0 22.96/9.81 br %348, %349, %350 22.96/9.81 349: 22.96/9.81 br %590 22.96/9.81 350: 22.96/9.81 br %352 22.96/9.81 351: 22.96/9.81 store 1, %skip 22.96/9.81 br %352 22.96/9.81 352: 22.96/9.81 br %354 22.96/9.81 353: 22.96/9.81 store 1, %skip 22.96/9.81 br %354 22.96/9.81 354: 22.96/9.81 br %355 22.96/9.81 355: 22.96/9.81 br %357 22.96/9.81 356: 22.96/9.81 store 1, %skip 22.96/9.81 br %357 22.96/9.81 357: 22.96/9.81 br %358 22.96/9.81 358: 22.96/9.81 br %359 22.96/9.81 359: 22.96/9.81 store 8544, %s__state 22.96/9.81 store 0, %s__init_num 22.96/9.81 br %523 22.96/9.81 360: 22.96/9.81 br %361 22.96/9.81 361: 22.96/9.81 %362 = load %s__verify_mode 22.96/9.81 %363 = add %362 1 22.96/9.81 %364 = icmp ne %363 0 22.96/9.81 br %364, %365, %398 22.96/9.81 365: 22.96/9.81 %366 = load %s__session__peer 22.96/9.81 %367 = icmp ne %366 0 22.96/9.81 br %367, %368, %375 22.96/9.81 368: 22.96/9.81 %369 = load %s__verify_mode 22.96/9.81 %370 = add %369 4 22.96/9.81 %371 = icmp ne %370 0 22.96/9.81 br %371, %372, %373 22.96/9.81 372: 22.96/9.81 store 1, %skip 22.96/9.82 store 0, %s__s3__tmp__cert_request 22.96/9.82 store 8560, %s__state 22.96/9.82 br %374 22.96/9.82 373: 22.96/9.82 br %376 22.96/9.82 374: 22.96/9.82 br %397 22.96/9.82 375: 22.96/9.82 br %376 22.96/9.82 376: 22.96/9.82 %377 = load %s__s3__tmp__new_cipher__algorithms 22.96/9.82 %378 = sext i32 %377 to i64 22.96/9.82 store %378, %__cil_tmp61 22.96/9.82 %379 = load %__cil_tmp61 22.96/9.82 %380 = add %379 256 22.96/9.82 %381 = icmp ne %380 0 22.96/9.82 br %381, %382, %389 22.96/9.82 382: 22.96/9.82 %383 = load %s__verify_mode 22.96/9.82 %384 = add %383 2 22.96/9.82 %385 = icmp ne %384 0 22.96/9.82 br %385, %386, %387 22.96/9.82 386: 22.96/9.82 br %390 22.96/9.82 387: 22.96/9.82 store 1, %skip 22.96/9.82 store 0, %s__s3__tmp__cert_request 22.96/9.82 store 8560, %s__state 22.96/9.82 br %388 22.96/9.82 388: 22.96/9.82 br %396 22.96/9.82 389: 22.96/9.82 br %390 22.96/9.82 390: 22.96/9.82 store 1, %s__s3__tmp__cert_request 22.96/9.82 %391 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %391, %ret 22.96/9.82 %392 = load %ret 22.96/9.82 %393 = icmp sle %392 0 22.96/9.82 br %393, %394, %395 22.96/9.82 394: 22.96/9.82 br %590 22.96/9.82 395: 22.96/9.82 store 8448, %s__state 22.96/9.82 store 8576, %s__s3__tmp__next_state___0 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %396 22.96/9.82 396: 22.96/9.82 br %397 22.96/9.82 397: 22.96/9.82 br %399 22.96/9.82 398: 22.96/9.82 store 1, %skip 22.96/9.82 store 0, %s__s3__tmp__cert_request 22.96/9.82 store 8560, %s__state 22.96/9.82 br %399 22.96/9.82 399: 22.96/9.82 br %523 22.96/9.82 400: 22.96/9.82 br %401 22.96/9.82 401: 22.96/9.82 %402 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %402, %ret 22.96/9.82 %403 = load %ret 22.96/9.82 %404 = icmp sle %403 0 22.96/9.82 br %404, %405, %406 22.96/9.82 405: 22.96/9.82 br %590 22.96/9.82 406: 22.96/9.82 store 8576, %s__s3__tmp__next_state___0 22.96/9.82 store 8448, %s__state 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %523 22.96/9.82 407: 22.96/9.82 %408 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 %409 = sext i32 %408 to i64 22.96/9.82 store %409, %num1 22.96/9.82 %410 = load %num1 22.96/9.82 %411 = icmp sgt %410 0 22.96/9.82 br %411, %412, %418 22.96/9.82 412: 22.96/9.82 store 2, %s__rwstate 22.96/9.82 %413 = load %tmp___8 22.96/9.82 store %413, %num1 22.96/9.82 %414 = load %num1 22.96/9.82 %415 = icmp sle %414 0 22.96/9.82 br %415, %416, %417 22.96/9.82 416: 22.96/9.82 store -1, %ret 22.96/9.82 br %590 22.96/9.82 417: 22.96/9.82 store 1, %s__rwstate 22.96/9.82 br %418 22.96/9.82 418: 22.96/9.82 %419 = load %s__s3__tmp__next_state___0 22.96/9.82 store %419, %s__state 22.96/9.82 br %523 22.96/9.82 420: 22.96/9.82 br %421 22.96/9.82 421: 22.96/9.82 %422 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %422, %ret 22.96/9.82 %423 = load %ret 22.96/9.82 %424 = icmp sle %423 0 22.96/9.82 br %424, %425, %426 22.96/9.82 425: 22.96/9.82 br %590 22.96/9.82 426: 22.96/9.82 %427 = load %ret 22.96/9.82 %428 = icmp eq %427 2 22.96/9.82 br %428, %429, %430 22.96/9.82 429: 22.96/9.82 store 8466, %s__state 22.96/9.82 br %436 22.96/9.82 430: 22.96/9.82 %431 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %431, %ret 22.96/9.82 %432 = load %ret 22.96/9.82 %433 = icmp sle %432 0 22.96/9.82 br %433, %434, %435 22.96/9.82 434: 22.96/9.82 br %590 22.96/9.82 435: 22.96/9.82 store 0, %s__init_num 22.96/9.82 store 8592, %s__state 22.96/9.82 br %436 22.96/9.82 436: 22.96/9.82 br %523 22.96/9.82 437: 22.96/9.82 br %438 22.96/9.82 438: 22.96/9.82 %439 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %439, %ret 22.96/9.82 %440 = load %ret 22.96/9.82 %441 = icmp sle %440 0 22.96/9.82 br %441, %442, %443 22.96/9.82 442: 22.96/9.82 br %590 22.96/9.82 443: 22.96/9.82 store 8608, %s__state 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %523 22.96/9.82 444: 22.96/9.82 br %445 22.96/9.82 445: 22.96/9.82 %446 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %446, %ret 22.96/9.82 %447 = load %ret 22.96/9.82 %448 = icmp sle %447 0 22.96/9.82 br %448, %449, %450 22.96/9.82 449: 22.96/9.82 br %590 22.96/9.82 450: 22.96/9.82 store 8640, %s__state 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %523 22.96/9.82 451: 22.96/9.82 br %452 22.96/9.82 452: 22.96/9.82 %453 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %453, %ret 22.96/9.82 %454 = load %blastFlag 22.96/9.82 %455 = icmp eq %454 3 22.96/9.82 br %455, %456, %457 22.96/9.82 456: 22.96/9.82 store 4, %blastFlag 22.96/9.82 br %457 22.96/9.82 457: 22.96/9.82 %458 = load %ret 22.96/9.82 %459 = icmp sle %458 0 22.96/9.82 br %459, %460, %461 22.96/9.82 460: 22.96/9.82 br %590 22.96/9.82 461: 22.96/9.82 %462 = load %s__hit 22.96/9.82 %463 = icmp ne %462 0 22.96/9.82 br %463, %464, %465 22.96/9.82 464: 22.96/9.82 store 3, %s__state 22.96/9.82 br %466 22.96/9.82 465: 22.96/9.82 store 8656, %s__state 22.96/9.82 br %466 22.96/9.82 466: 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %523 22.96/9.82 467: 22.96/9.82 br %468 22.96/9.82 468: 22.96/9.82 %469 = load %s__s3__tmp__new_cipher 22.96/9.82 store %469, %s__session__cipher 22.96/9.82 %470 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %470, %tmp___9 22.96/9.82 %471 = load %tmp___9 22.96/9.82 %472 = icmp ne %471 0 22.96/9.82 br %472, %474, %473 22.96/9.82 473: 22.96/9.82 store -1, %ret 22.96/9.82 br %590 22.96/9.82 474: 22.96/9.82 %475 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %475, %ret 22.96/9.82 %476 = load %blastFlag 22.96/9.82 %477 = icmp eq %476 2 22.96/9.82 br %477, %478, %479 22.96/9.82 478: 22.96/9.82 store 3, %blastFlag 22.96/9.82 br %479 22.96/9.82 479: 22.96/9.82 %480 = load %ret 22.96/9.82 %481 = icmp sle %480 0 22.96/9.82 br %481, %482, %483 22.96/9.82 482: 22.96/9.82 br %590 22.96/9.82 483: 22.96/9.82 store 8672, %s__state 22.96/9.82 store 0, %s__init_num 22.96/9.82 %484 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %484, %tmp___10 22.96/9.82 %485 = load %tmp___10 22.96/9.82 %486 = icmp ne %485 0 22.96/9.82 br %486, %488, %487 22.96/9.82 487: 22.96/9.82 store -1, %ret 22.96/9.82 br %590 22.96/9.82 488: 22.96/9.82 br %523 22.96/9.82 489: 22.96/9.82 br %490 22.96/9.82 490: 22.96/9.82 %491 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %491, %ret 22.96/9.82 %492 = load %blastFlag 22.96/9.82 %493 = icmp eq %492 4 22.96/9.82 br %493, %494, %495 22.96/9.82 494: 22.96/9.82 store 5, %blastFlag 22.96/9.82 br %500 22.96/9.82 495: 22.96/9.82 %496 = load %blastFlag 22.96/9.82 %497 = icmp eq %496 3 22.96/9.82 br %497, %498, %499 22.96/9.82 498: 22.96/9.82 br %598 22.96/9.82 499: 22.96/9.82 br %500 22.96/9.82 500: 22.96/9.82 %501 = load %ret 22.96/9.82 %502 = icmp sle %501 0 22.96/9.82 br %502, %503, %504 22.96/9.82 503: 22.96/9.82 br %590 22.96/9.82 504: 22.96/9.82 store 8448, %s__state 22.96/9.82 %505 = load %s__hit 22.96/9.82 %506 = icmp ne %505 0 22.96/9.82 br %506, %507, %508 22.96/9.82 507: 22.96/9.82 store 8640, %s__s3__tmp__next_state___0 22.96/9.82 br %509 22.96/9.82 508: 22.96/9.82 store 3, %s__s3__tmp__next_state___0 22.96/9.82 br %509 22.96/9.82 509: 22.96/9.82 store 0, %s__init_num 22.96/9.82 br %523 22.96/9.82 510: 22.96/9.82 store 0, %s__init_buf___0 22.96/9.82 store 0, %s__init_num 22.96/9.82 %511 = load %got_new_session 22.96/9.82 %512 = icmp ne %511 0 22.96/9.82 br %512, %513, %520 22.96/9.82 513: 22.96/9.82 store 0, %s__new_session 22.96/9.82 %514 = load %s__ctx__stats__sess_accept_good 22.96/9.82 %515 = add %514 1 22.96/9.82 store %515, %s__ctx__stats__sess_accept_good 22.96/9.82 %516 = load %cb 22.96/9.82 %517 = icmp ne %516 0 22.96/9.82 br %517, %518, %519 22.96/9.82 518: 22.96/9.82 br %519 22.96/9.82 519: 22.96/9.82 br %520 22.96/9.82 520: 22.96/9.82 store 1, %ret 22.96/9.82 br %590 22.96/9.82 521: 22.96/9.82 store -1, %ret 22.96/9.82 br %590 22.96/9.82 522: 22.96/9.82 br %523 22.96/9.82 523: 22.96/9.82 br %524 22.96/9.82 524: 22.96/9.82 br %525 22.96/9.82 525: 22.96/9.82 br %526 22.96/9.82 526: 22.96/9.82 br %527 22.96/9.82 527: 22.96/9.82 br %528 22.96/9.82 528: 22.96/9.82 br %529 22.96/9.82 529: 22.96/9.82 br %530 22.96/9.82 530: 22.96/9.82 br %531 22.96/9.82 531: 22.96/9.82 br %532 22.96/9.82 532: 22.96/9.82 br %533 22.96/9.82 533: 22.96/9.82 br %534 22.96/9.82 534: 22.96/9.82 br %535 22.96/9.82 535: 22.96/9.82 br %536 22.96/9.82 536: 22.96/9.82 br %537 22.96/9.82 537: 22.96/9.82 br %538 22.96/9.82 538: 22.96/9.82 br %539 22.96/9.82 539: 22.96/9.82 br %540 22.96/9.82 540: 22.96/9.82 br %541 22.96/9.82 541: 22.96/9.82 br %542 22.96/9.82 542: 22.96/9.82 br %543 22.96/9.82 543: 22.96/9.82 br %544 22.96/9.82 544: 22.96/9.82 br %545 22.96/9.82 545: 22.96/9.82 br %546 22.96/9.82 546: 22.96/9.82 br %547 22.96/9.82 547: 22.96/9.82 br %548 22.96/9.82 548: 22.96/9.82 br %549 22.96/9.82 549: 22.96/9.82 br %550 22.96/9.82 550: 22.96/9.82 br %551 22.96/9.82 551: 22.96/9.82 br %552 22.96/9.82 552: 22.96/9.82 br %553 22.96/9.82 553: 22.96/9.82 br %554 22.96/9.82 554: 22.96/9.82 br %555 22.96/9.82 555: 22.96/9.82 br %556 22.96/9.82 556: 22.96/9.82 br %557 22.96/9.82 557: 22.96/9.82 br %558 22.96/9.82 558: 22.96/9.82 br %559 22.96/9.82 559: 22.96/9.82 %560 = load %s__s3__tmp__reuse_message 22.96/9.82 %561 = icmp ne %560 0 22.96/9.82 br %561, %588, %562 22.96/9.82 562: 22.96/9.82 %563 = load %skip 22.96/9.82 %564 = icmp ne %563 0 22.96/9.82 br %564, %587, %565 22.96/9.82 565: 22.96/9.82 %566 = load %s__debug 22.96/9.82 %567 = icmp ne %566 0 22.96/9.82 br %567, %568, %574 22.96/9.82 568: 22.96/9.82 %569 = call i32 @__VERIFIER_nondet_int() 22.96/9.82 store %569, %ret 22.96/9.82 %570 = load %ret 22.96/9.82 %571 = icmp sle %570 0 22.96/9.82 br %571, %572, %573 22.96/9.82 572: 22.96/9.82 br %590 22.96/9.82 573: 22.96/9.82 br %574 22.96/9.82 574: 22.96/9.82 %575 = load %cb 22.96/9.82 %576 = icmp ne %575 0 22.96/9.82 br %576, %577, %586 22.96/9.82 577: 22.96/9.82 %578 = load %s__state 22.96/9.82 %579 = load %state 22.96/9.82 %580 = icmp ne %578 %579 22.96/9.82 br %580, %581, %585 22.96/9.82 581: 22.96/9.82 %582 = load %s__state 22.96/9.82 store %582, %new_state 22.96/9.82 %583 = load %state 22.96/9.82 store %583, %s__state 22.96/9.82 %584 = load %new_state 22.96/9.82 store %584, %s__state 22.96/9.82 br %585 22.96/9.82 585: 22.96/9.82 br %586 22.96/9.82 586: 22.96/9.82 br %587 22.96/9.82 587: 22.96/9.82 br %588 22.96/9.82 588: 22.96/9.82 store 0, %skip 22.96/9.82 br %55 22.96/9.82 589: 22.96/9.82 br %590 22.96/9.82 590: 22.96/9.82 %591 = load %s__in_handshake 22.96/9.82 %592 = add %591 -1 22.96/9.82 store %592, %s__in_handshake 22.96/9.82 %593 = load %cb 22.96/9.82 %594 = icmp ne %593 0 22.96/9.82 br %594, %595, %596 22.96/9.82 595: 22.96/9.82 br %596 22.96/9.82 596: 22.96/9.82 %597 = load %ret 22.96/9.82 store %597, %1 22.96/9.82 br %599 22.96/9.82 598: 22.96/9.82 Unnamed Call-Instruction = call BasicVoidType (...)* @__VERIFIER_error() noreturn 22.96/9.82 unreachable 22.96/9.82 599: 22.96/9.82 %600 = load %1 22.96/9.82 ret %600 22.96/9.82 22.96/9.82 *BasicFunctionTypename: "main" linkageType: EXTERNALLY_VISIBLE returnParam: i32 parameters: () variableLength: false visibilityType: DEFAULT callingConvention: ccc 22.96/9.82 0: 22.96/9.82 %1 = alloca i32, align 4 22.96/9.82 %s = alloca i32, align 4 22.96/9.82 %tmp = alloca i32, align 4 22.96/9.82 store 0, %1 22.96/9.82 store 8464, %s 22.96/9.82 %2 = load %s 22.96/9.82 %3 = call i32 @ssl3_accept(i32 %2) 22.96/9.82 store %3, %tmp 22.96/9.82 %4 = load %tmp 22.96/9.82 ret %4 22.96/9.82 22.96/9.82 22.96/9.82 Analyze Termination of all function calls matching the pattern: 22.96/9.82 main() 23.27/9.95 EOF