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

    <tr>
        <th>Summary</th>
        <td>
            [clang-static-analyzer]:how to promote array or pointer accuracy in clang static analyzer
        </td>
    </tr>

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

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

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

<pre>
    ```c
// test.c
#define NULL (void*)0
void func(void) {
  char *array = (char *)malloc(10 * sizeof(char));
  if (NULL == array) {
    return;
 }
  array = 'abc';
  clang_analyzer_dump(array[0]);
}
```
run commands on bash like the following:
```bash
```

the black word is 'note:'

now i want to let it can dump '97 32b' which is array[0] ascii code

how can i make it possible? Thanks for giving me tips.



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUU02P4ygQ_TX4UkqEC3_EBx-6FeWyoz3tnkcFxjbbGCLAHaV__Qp7kolae1kJYbmo96rq8aAYzeS07ln9zupzQWuafeiXr_sfppB-uPes4ftSjJ8Zf2N4YXiBpGM6PkNi0KNxGv78-8cPYHj69GZg-Maw43tKDsC4OvU87IC17_shgJopAMM3CoHuwMQ5kzyCDLuFrPUZW_IcgWi-tB9_5TDs8hJPNjNm-N6LOGe2jfdbTYCg0xrcbyBrz4_D10Zakoph-1JAWXLTT3Jk7186_BzW5crwtBep3zmrz68NPWmfUu6_YXWg_LKQGyJ4B5LiDNZ8aEizhtFb62_GTUy8fYPnxIfyJavfzUKT3oqe5pSuMSO2W5pMmld5VH5heLH28_E5XIP_R6vE8EIx6hQZXhC7ijddzfBS1qQEyupQt1geKhzLA41KHsqBK6yIOHKdB_yvofY9DyAtqQ-4-TCAiVlG55PeWmtfU52_gYEbuQTJg9UJTAJFDrKqGda1IFAybOE2GzVnslelgaIyBpQf9Cvt7G8bi4GFPnTmvPoYjbSaiQv8NZP7iDD6AJP5NG6CRUMy13h85dj3YujF0ImOCt2XzUmcOl4LLOa-GZBXcsCuoaFq9FCdxHCSqilpLCstxsL0yFHwusSyRCzxKEk1tZSyLrVUQnSs4nohY4_5Uo4-TIWJcdV9g017KixJbePjZYZ-uzm5TpFV3JqY4m9YMslub3hz5iEmSkYdHgbN1hCbIsnDNfjFJ_3L4T7A1RuXdABSag2k7mDcbnDYaeBBU6zB9v_bYNtE2WDbUP8GAAD__3tRTrs">