Skip to content
This repository has been archived by the owner on May 14, 2022. It is now read-only.

Commit

Permalink
mingw build error fix
Browse files Browse the repository at this point in the history
  • Loading branch information
Cr4sh committed Apr 3, 2015
1 parent 15b2c98 commit 6cceba8
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 28 deletions.
2 changes: 1 addition & 1 deletion capstone/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ capstone/libcapstone.a:

[ -d capstone ] || git clone https://github.com/Cr4sh/capstone.git
cp config.mk capstone
cd capstone && ./make.sh
cd capstone && make

all: capstone/libcapstone.a

Expand Down
29 changes: 2 additions & 27 deletions libasmir/src/irtoir.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,6 @@
#define Ist_MFence Ist_MBE
#endif

// flag to disable warnings (for unit test's sake)
bool print_warnings = 1;

// enable/disable lazy eflags computation.
// this is for transitional purposes, and should be removed soon.
bool use_eflags_thunks = 0;
Expand Down Expand Up @@ -52,22 +49,6 @@ static void insert_specials(bap_block_t *block);
void do_cleanups_before_processing();


//======================================================================
//
// Helper functions for output (generally should only be used by automated
// testing)
//
//======================================================================
void asmir_set_print_warning(bool value)
{
print_warnings = value;
}

bool asmir_get_print_warning()
{
return print_warnings;
}

//======================================================================
//
// Helper functions for the translation
Expand Down Expand Up @@ -264,20 +245,14 @@ reg_t IRType_to_reg_type(IRType type)

case Ity_F32:

if (print_warnings)
{
fprintf(stderr, "WARNING: Float32 register encountered\n");
}
fprintf(stderr, "WARNING: Float32 register encountered\n");

t = REG_32;
break;

case Ity_F64:

if (print_warnings)
{
fprintf(stderr, "WARNING: Float64 register encountered\n");
}
fprintf(stderr, "WARNING: Float64 register encountered\n");

t = REG_64;
break;
Expand Down

0 comments on commit 6cceba8

Please sign in to comment.