replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #3084 from diffblue/boolbvt_convert_with_tag_types 

boolbvt: convert_with now does struct_tag and union_tag types
This commit is contained in:
Daniel Kroening 2018-10-03 08:32:36 +01:00 committed by GitHub
parent 09f6eb360b dbec31138b
commit 0e695d08f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/solvers/flattening/boolbv_with.cpp
View File

@ -92,8 +92,14 @@ void boolbvt::convert_with(
else if(type.id()==ID_struct)
return
convert_with_struct(to_struct_type(type), op1, op2, prev_bv, next_bv);
else if(type.id() == ID_struct_tag)
return convert_with(
ns.follow_tag(to_struct_tag_type(type)), op1, op2, prev_bv, next_bv);
else if(type.id()==ID_union)
return convert_with_union(to_union_type(type), op2, prev_bv, next_bv);
else if(type.id() == ID_union_tag)
return convert_with(
ns.follow_tag(to_union_tag_type(type)), op1, op2, prev_bv, next_bv);
else if(type.id()==ID_symbol)
return convert_with(ns.follow(type), op1, op2, prev_bv, next_bv);