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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Missed attribute dereferenceable() for complex argument in stack
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    Compile the following source code 
```
clang -O3 -fno-exceptions -c test2.cc -o test2.o

#include<string>

char foo(std::string str, int i) {
  return str[i];
}

std::string ha; 
char qux() {
  foo(ha, 3); 
}
```
I got the following IR
```
; Function Attrs: mustprogress nounwind uwtable
define dso_local noundef signext i8 @_Z3fooNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi(ptr noundef %str, i32 noundef %i) #0 {
entry:
  %str.indirect_addr = alloca ptr, align 8
  %i.addr = alloca i32, align 4
  store ptr %str, ptr %str.indirect_addr, align 8, !tbaa !5
  store i32 %i, ptr %i.addr, align 4, !tbaa !10
  %0 = load i32, ptr %i.addr, align 4, !tbaa !10
  %conv = sext i32 %0 to i64
 %call = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(32) %str, i64 noundef %conv)
  %1 = load i8, ptr %call, align 1, !tbaa !12
  ret i8 %1 
}

; Function Attrs: mustprogress nounwind uwtable
define dso_local noundef signext i8 @_Z3quxv() #0 {
entry:
  %agg.tmp = alloca %"class.std::__cxx11::basic_string", align 8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %agg.tmp, ptr noundef nonnull align 8 dereferenceable(32) @_Z2haB5cxx11) 
  %call = call noundef signext i8 @_Z3fooNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi(ptr noundef %agg.tmp, i32 noundef 3)
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %agg.tmp) #2
  unreachable
} 

```

The first parameter of foo is of type string, it's too complex, so it is actually allocated in the caller's stack, and the pointer is passed to foo. I expect it has the attribute dereferenceable(32), like the function @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEm, but it is missed in function foo.

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy0Vk2P2zgP_jXKhUhgS_HYOeSQyQcQvHh3gc6e9hLIsmxrq0iuRGcy--sXku2OG7QLtN0CAeIP8iH58CEt7r1qjJRbkj2T7LDgPbbWbV-lanr7d6sWpa3etnt77ZSWgK2E2mptX5VpwNveCQnCVhJIsiNPyfhLdkJz08DydwbL2tilvAvZobLGw1IASo90JQQs7Xhtg3uyI5QpI3RfScL2Hp0yDWHH4Z1ouYPaWkILjxVhO8J2gwl4dITuQRkERegGSP5Mkh2Ak9g7E19nz4pkB8LCC5IfBshHnJYT9gxTrE_9ndBijjdEb3kIxgjdjNYj3qz6MzQWH8g6f3gwCt6n3ohAC-wQnSdsB9feY-ds46T3YGxvXpWpoH9FXmpJkl0la2UkVN5etBVcR5tK1hDbeEdQBZB1cvmT1db-9oL55SLu9zRNacm9Epeh1LN4wTQNZV7QcYX-LI4v_CyOx6MitOjQfcYlNJv4ZXT-dKCasmTkRxp0b4HPQNXgtVKmUk4KvPCqckDYAbgOaUM3QHKtGgPF5KJWj3aK0Xe7dbTzaJ0MALPU3u--DDmPQfdAaIol5-E_m2GFwoaCPiMNmcxDf-meJlPOSUxXW15NyX43hLDmFlF8bOCQTQJoQT3FmoMN1zraxIupDcYa02s9Rkihkk7W0kkjZNQLLdLQpZhREMUPCELdj9cHSXwZtfhK1EDEZi6dp_VcOqHgMD9j_emMwmLGYCj1nb_0kT86DXnUfISZDfevHq9P_f027YdvDwFvmhVeu7mkCc0IpUJz71efN9DYlOFm3hhC6eOgRAXcrKp-uKd7evzwv5f15cf7OtY1Neu7EULitOXP2VB2eDQNw1eF_gu326yU-YZjk0B_nu4DPd7-A6qj0AbR98ZJLtpRtCQ_wCj6-fcl2f0RvkDKeYSOO36VKB3YOnzHQPlwhW-dhEloe1BIaO4BrQVhr52W9_DUW1AYHLjAnmv9NioZZQXKxM9c4Ei66OyRi49RsqaK7zqrTAisPHTce1mFxVZbu4IzyHsnBQb4lvtozRGdKnuU36IkQGv1cTyLTAP-c9ttD2WPY5FXFXNU5h08JEuS3aLasmrDNnwht2m-TvIie0qSRbul1UZuKlEznuZVKURZZ3W-rgtW5Buel8VCbWlCs4TSgjLGaLLKyyJL17lI2SZLKc3JOpFXrvRK69t1ZV2zUN73cpvSDWP5QvNSah-PaHFzDGshOyzcNjgsy77xZJ1o5dG_Q6BCHc91g0d2gP8Ptf0bx0FmtXVT_4G7pr_KcLIyQ2sXvdPbFrEL-5TQE6GnRmHblythr4SeQvjxb9k5-5cUSOgpluMJPY0V3bb0nwAAAP__DF1QKQ">