module DoCollapseCallCast:Parameter_sig.Bool
Behavior of option "-collapse-call-cast".
If false, the destination of a Call instruction should always have the same type as the function's return type. Where needed, CIL will insert a temporary to make this happen.
If true, the destination type may differ from the return type, so there
is an implicit cast. This is useful for analyses involving malloc
,
because the instruction "T* x = malloc(...);" won't be broken into
two instructions, so it's easy to find the allocation type.
This is false by default. Set to true to replicate the behavior of CIL 1.3.5 and earlier.
include Parameter_sig.S
val on : unit -> unit
Set the boolean to true
.
val off : unit -> unit
Set the boolean to false
.