Hi, this patch actually fixes two issues: * In some cases the dereferences in function argument list are not instrumented and ASan can miss errors, e.g. heap-use-after-free. To resolve this, we can just iterate through gimple_call's arguments and add ASAN_CHECK statements for them if needed. * As Jakub pointed out, if gimple_call was inlined, ASan catches an error on invalid dereference, but fails to obtain its source location, because it was missed in early inline pass. To resolve this, we can set corresponding source location for inlined parameter in einline pass in initialize_inlined_parameters routine. Regtested and bootstrapped on x86_64-unknown-linux-gnu, OK to commit? -Maxim