diff options
| author | Alexander Monakov <amonakov@ispras.ru> | 2023-01-19 19:25:04 +0300 |
|---|---|---|
| committer | Alexander Monakov <amonakov@ispras.ru> | 2023-05-03 19:51:32 +0300 |
| commit | cef0c0bb13e2953b41caca0506ab1d41c56f29de (patch) | |
| tree | 02e368d4f32d38292ed8cdba22de0ec89c2cc57f /gcc/value-range.cc | |
| parent | 1c26adba4b95f9a79f3aa57637d34cff7982d832 (diff) | |
| download | gcc-cef0c0bb13e2953b41caca0506ab1d41c56f29de.zip gcc-cef0c0bb13e2953b41caca0506ab1d41c56f29de.tar.gz gcc-cef0c0bb13e2953b41caca0506ab1d41c56f29de.tar.bz2 | |
do not tailcall __sanitizer_cov_trace_pc [PR90746]
When instrumentation is requested via -fsanitize-coverage=trace-pc, GCC
emits calls of __sanitizer_cov_trace_pc callback in each basic block.
This callback is supposed to be implemented by the user, and should be
able to identify the containing basic block by inspecting its return
address. Tailcalling the callback prevents that, so disallow it.
gcc/ChangeLog:
PR sanitizer/90746
* calls.cc (can_implement_as_sibling_call_p): Reject calls
to __sanitizer_cov_trace_pc.
gcc/testsuite/ChangeLog:
PR sanitizer/90746
* gcc.dg/sancov/basic0.c: Verify absence of tailcall.
Diffstat (limited to 'gcc/value-range.cc')
0 files changed, 0 insertions, 0 deletions