sea-dsa icon indicating copy to clipboard operation
sea-dsa copied to clipboard

CRASH: can't handle vectorTy in LoadInst / Gep

Open void0red opened this issue 1 year ago • 0 comments

; 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");

void0red avatar Jan 28 '24 08:01 void0red