<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/54172>54172</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            DataFlowSanitizer custom trampoline functions incompatible with opaque pointers
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            opaque-pointers
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          nikic
      </td>
    </tr>
</table>

<pre>
    DataFlowSanitizer supports an (apparently undocumented?) feature where function-pointer-typed arguments to functions with custom ABI will be converted into two arguments, one being a trampoline function, and the other the original argument cast to a void pointer. I believe the intention is that the user will then call the trampoline function, while passing the original function, the call arguments, plus any necessary labels, and the trampoline will take care of the necessary __dfsan_arg_tls / __dfsan_retval_tls writes.

Unfortunately, this is incompatible with opaque pointers, because the form of the trampoline is determined based on the function pointer type. I think this is also a bit problematic at a higher level, because pointer types are also arbitrary in C, not just in IR (i.e. you could pass in a callback as `void*` and later cast it, or more problematically, pass it in with one signature and then cast it before the call).

I'm not entirely sure what the right way to resolve this is. My first inclination would be that we should remove this automatic rewrite in instrumentation, and instead provide a helper for invoking callbacks in custom functions in dfsan.h. So you'd do something like `dfsan_call(cb, ...args, ...labels, ret_label)` in the custom function. This might come in the form of a builtin (I'm not sure if it's possible to implement dfsan_call as just C++?)

However, I'm not familiar with dfsan, so I'm not sure whether the above is possible, both on a technical level, and in terms of stability -- is that dfsan interface considered stable?

The alternative I see here would be to do something very sad, like require the frontend to annotate everything with elementtype attributes or some metadata when dfsan is enabled.

cc @aeubanks
cc @pcc who added this functionality in https://reviews.llvm.org/D1503
cc @DerSaidin who has recent DFSan activity
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNVstu4zgQ_Br70ojgSHYeBx8yEwSbw152Zs9BS6QsTihSQ1I2vF-_1ZRt2YNZYAHDkWiyu7qrqpnaq-P2lRO_WX_4xs4k848OFMdh8CFFYkeL8omHgYN2yR5pdMo3Y48XrRbV26J8plZzGoOmQ6fx3Y6uSca7u8EbbAp36ThoRRx2-VSk5C97Ih1M6qgZY_I9vXx5x7u1VGtqvNvrgByEIJ7Swc8RFuVX8k5jm3E7YkqB-8Fb4-bksoWdotRp8vgK01MwO-PYXkJRwzEJIKa9N4pOkAt6R3Br9F7nc7LoJCwZwO845dUxImzGizeHUNPTf8E5dMZqGjhGQX0D53qb_JBD3ZQ72FG4OJLTjY6Rw5EsA2K8LvQq8QSLPyUWOPFt3jAf_vhQbWT3gSQfyUZw_HZZCzrt2eblQzBJx2Kxel2sXqbvv10LYYyOk7bHCTCaIh_X-H7gZGqrJ1r9wD9HfW5qhlrrhtG3jAZx-jOyK-gIpTT293hRVHPENzqfT5z6dA5JIi0hCxjc5wUJ2yiM1ibREDzg9EDVEGhj6sxO1GBBrb0GdB0REdCzKUpAlCAdM46-ygHnE_2AXmXh_S8xhymA4ehHaHa0KjMsP3KmsebmkxgNfliJwhblC54yY5YlXxagSVnSgXqPxFeYESD3eIqZc06dRZ-i2bnJdyf-3TkYimol0FlK8OgNhe-L8rHPhYiqA3iE37N_T8qGLrtEBz6KNYKO3mYj5O4W9OeRWhNyBxowxpmRQ6691pM9DoDX5ZWge38-zCNcnqkIOitL6jEuppCFztfGlWXNSpqxN0oLc9oOaBgqw497_ykuOnc4N_w0RebZgrWs6KIr6JsXilC4IuUp-l6LZnZkDTwCSibpT916amqBURQF7BFPj7Pd4I-P_Ia-CplmEucv6Qv6LjX3uZVwhj7vO8seAh2NTSYP2JmSzIRpsyYeI3SJeSGOAhOmH6ALGVszWtFWliPE-UU-eSRfs_2HP0DsQZDPWVrujTUcJjnlcLIBiv8FCWb6ZXxyLVSaGVQ2kM96lDGsm86JZmd3TUySuDlKzTFxjbzpSHd3l1mas-cZG1pu8uiPoDzA97IfaVDTVUHfBYrFbpEeAL1T1Jry3TOr0N_SjAZA5KwEVKY86J-jOXmkDV4GvMoXgUPpcCZJz47T4dwjPbVe5gMmSQqmHjEaxbSShZCIFa5RaZg7lxRhMClA3divaWixXrEea3af8XptwJ9DBxBKaTV55iwnzl1DL7uUhrioXjCx8Ql6b_QhFtbu-8KHHZZe7zer6jrqqw7f2CiZHYjdQTAB9wBU9PqGC58Y8fcIvlTbSj1Xz7xMJln9m38KTgr_zf32P6b_cgx2ewt-h21jXeAgXqSC0587mP6HbmCANxPjqOG6t836_rFcdtt13XBdre-5YdYP_FQ9Pz3z4-PmYbNpSl21y8mn28UGbignDHfzDVQuNq9Lsy1XZbmqVtV9tak2m-Jp1W6q9bOqm8d1xaVC0zB_jb20dRm2GVg9Yh6sV9bENPd8KVf6zmmdkyI-5lznw9aZT9MscwXbDP9fEc1P3A">