sea-dsa
sea-dsa copied to clipboard
CRASH: can't handle vectorTy in LoadInst / Gep
; generate from https://github.com/openssl/openssl/blob/0f644b96d209443b4566f7e86e3be2568292e75b/ssl/record/methods/tls1_meth.c#L167
if.then432: ; preds = %if.else428
%data434 = getelementptr inbounds %struct.tls_rl_record_st, %struct.tls_rl_record_st* %recs, i64 %ctr.4817, i32 5
%106 = bitcast i8** %data434 to <2 x i8*>*
%107 = load <2 x i8*>, <2 x i8*>* %106, align 8, !tbaa !33
%108 = getelementptr i8, <2 x i8*> %107, <2 x i64> <i64 8, i64 8>
%109 = bitcast i8** %data434 to <2 x i8*>*
store <2 x i8*> %108, <2 x i8*>* %109, align 8, !tbaa !33
%length440 = getelementptr inbounds %struct.tls_rl_record_st, %struct.tls_rl_record_st* %recs, i64 %ctr.4817, i32 2
%110 = load i64, i64* %length440, align 8, !tbaa !26
%sub441 = add i64 %110, -8
store i64 %sub441, i64* %length440, align 8, !tbaa !26
br label %if.end477
; crash at: DsaLocal.cc:625
; assert(false && "Expression not handled");