Definition at line 25 of file remove_instanceof.cpp.

Replaces an expression like e instanceof A with e.

@class_identifier == "A" or a big-or of similar expressions if we know of subtypes that also satisfy the given test.

Parameters

function_identifier name of the goto function goto_program

expr Expression to lower (the code or the guard of an instruction)

goto_program program the expression belongs to

this_inst instruction the expression is found at

Returns

true if any instanceof instructionw was replaced

Definition at line 101 of file remove_instanceof.cpp.

Replace every instanceof in the passed function body with an explicit class-identifier test.

Extra auxiliary variables may be introduced into symbol_table.

Parameters

function_identifier name of the goto function goto_program

goto_program The function body to work on.

Returns

true if one or more instanceof expressions have been replaced

Definition at line 278 of file remove_instanceof.cpp.

Replaces expressions like e instanceof A with e.

@class_identifier == "A" or a big-or of similar expressions if we know of subtypes that also satisfy the given test. Does this for the code or guard at a specific instruction.

Parameters

function_identifier name of the goto function goto_program

goto_program program to process

target instruction to check for instanceof expressions

Returns

true if an instanceof has been replaced

Definition at line 239 of file remove_instanceof.cpp.

Definition at line 47 of file remove_instanceof.cpp.

Definition at line 49 of file remove_instanceof.cpp.

Definition at line 48 of file remove_instanceof.cpp.

Definition at line 46 of file remove_instanceof.cpp.