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

    <tr>
        <th>Summary</th>
        <td>
            libclang's `clang_Cursor_Evaluate()` does not properly evaluate string literals
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    The function `clang_Cursor_Evaluate()` of libclang's API (from `clang-c/Index.h`) does not seem to evaluate cursors pointing to actual string literals in the source code (even though it successfully evaluates cursors pointing to integer and floating point literals). See the test example below.

```cpp
// Test is line- and column-sensitive. Run lines are below.

const char* stringTest = "Hello \"World\"";

int printf(const char* fmt, ...);

void hello() {
 printf("%s\n", stringTest);
}

// RUN: c-index-test -evaluate-cursor-at=%s:3:13 \
// RUN:    -evaluate-cursor-at=%s:3:26 \
// RUN:    -evaluate-cursor-at=%s:8:12 \
// RUN: -evaluate-cursor-at=%s:8:20 %s | FileCheck %s
// CHECK: 3:13 {{.*}}Kind: CString , Value: Hello "World"
// CHECK: 3:26 StringLiteral {{.*}}Kind: CString , Value: Hello "World"
// CHECK: 8:12 StringLiteral {{.*}}Kind: CString , Value: %s
```

## Actual behavior

The above test fails.

```text
// CHECK: 3:26 StringLiteral {{.*}}Kind: CString , Value: Hello "World"
          ^
<stdin>:1:134: note: scanning from here
3:13 VarDecl=stringTest:3:13 (Definition) Extent=[3:1 - 3:43] Spelling=stringTest ([3:13 - 3:23])Kind: CString , Value: Hello "World"
 ^
<stdin>:2:1: note: possible intended match here
3:26 StringLiteral="Hello \"World\"" Extent=[3:26 - 3:43] Spelling="Hello \"World\"" ([3:26 - 3:43])Not Evaluatable
^

Input file: <stdin>
Check file: /home/YSakhno/llvm-project/clang/test/Index/evaluate-cursor-strings.cpp

-dump-input=help explains the following input dump.

Input was:
<<<<<<
            1: 3:13 VarDecl=stringTest:3:13 (Definition) Extent=[3:1 - 3:43] Spelling=stringTest ([3:13 - 3:23])Kind: CString , Value: Hello "World"
check:16'0 X error: no match found
 2: 3:26 StringLiteral="Hello \"World\"" Extent=[3:26 - 3:43] Spelling="Hello \"World\"" ([3:26 - 3:43])Not Evaluatable
check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:16'1 ? possible intended match
 3: 8:12 StringLiteral="%s\n" Extent=[8:12 - 8:18] Spelling="%s\n" ([8:12 - 8:18])Not Evaluatable
check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 4: 8:20 DeclRefExpr=stringTest:3:13 Extent=[8:20 - 8:30] Spelling=stringTest ([8:20 - 8:30])Not Evaluatable
check:16'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
```

## Expected behavior

The individual string literals should be evaluatable, and evaluation should return the same result as is returned from evaluation of variables that are initialized with such literals (see initialization of variable `stringTest` from the example above).
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzUV02P2zYT_jX0ZWCBHlmyffDBa6-RIC-CF9k0bU8BLY0sNjQpkJTX6aG_vSAlf-5uFv1A0y50WJOcZzjPfHGEc3KrieYsu2PZaiBaXxs7__lBfKm1GWxM-XX-sSaoWl14aTSwnBdK6O3nZWudsZ_v90K1whPDKcMZyzmYCpTcxEMMJw4W_38LDKeVNbuT9LBguH6rSzokNcs5wxmUhhxo48ER7cAboB4ZiqjJQWOk9lJvw6YofCsUOG_DgpKerFAOpAZfEzjT2oKgMCUF1bSnsG7abQ3Sg2uLgpyrWqW-nrS4Z9VI7WlLFoQuoVJGxPV44KST4SyBB6Ko2JPzQAexaxTBhpR5TBhfhC_n3Vc0TfiJa4Zr-BiOSwdKahpGJYVR7U4PHWknvdxTAh9aHfcdCHuNWRjtPBS1sAwXPRURkaUrYIhvSCkDLFsyxB-NVWX3b_jSuw4iGNJYqX3FcHqNV-08wyUkSRL8ehTYG1lCHYA7hwObhJ0zSFSQOZYtdfx3eXGxM9Bk1dPS8fDhh_csXUAxlCEkhpHF4dEzw84xQ-FZuorY6SJl6WKURttuQQBeF8X8T4lOg1Z8VvRVOeQQfgGbLGEtFS1rKr7EpTPW8s398l1AO5o3uWOTu4RhJGyyeid1GbaXD13YB3Y_CdVSWOy9fXQ14gu4mEMn_r8ugP9-LT1Nf0HLkZZj0hyDJWWYwqJL_Q3VYi-N7fZCjRIbs-9TsBJSudvU83Tw_xgpcPpj2X3Qmi6dL6Vm6X2gJzp4HIS18RHEFULrAB0LZU2WGD_G-SdhV1Qolq4ukumcBThdUSW1DAU65OT9wZOO8ZfdxTMwjFaOU5at4KEhpaTeXqEFkOPptD-O4TjD2R-3_TmTsTf7ZHBjnJMbRbHI6pJK2Alf1Jem37olptQ36toTyzF_yfRv45zZuEZgOHtvPPRNT2xUuGlvLV-81U3roZKqC-IL8_miy_fTHq5rsyOG677TMlwrtd8NG2t-ocIzXPcNdO1j4eyaJcP1bZ3pXOiSvq_wxbBsd81QhquwdFWTaoAOjRJSu9iiKqOUeQx-jGcgHE8u7_8oQs3q_Hf7XcY1wOiiVv3HQrQI7ghIOcMJh5-ArDW2C88-DivT6jJYjC9ViX9nON6Y9tt3-Lu9xQhYun4p4QPF6Ut9o6Pm4kVxxWkvMexEp085vRTsSHwq8v1JDAyMjwwgh5BIH6i6PzT2hXy6JQF5b1HKX8ufp8e_PwHXXDzf9u8PDRWeymcav9Sl3MvyuYHA1aZVQeb40I_m4TI-tvulMNb05yz51vYzhNgRWHKt8iBceKV3m1R2HfpC2FSwF1YG6FBjhY9P9VjthJK_UgmP0tdh7qjPN2M4dXRx6glUGJYufJ_zTm-423HCiC-eMIAMynlaztKZGNB8NBlzjqN8lA_qeV7wtKqomo4nxUZMs7wsOS9wMkmn02k1w4GcI8eMI3KeIh_lSTpOeYYViU1RZjwr2JjTTkiVhP6UGLsdSOdamo9wMhtPB0psSLk4PiJqeoS4G1IvWw3sPDa1Tbt1bMyVdN6dYbz0iuZXo-Lrw-VpSmysacheDHC3rh-0Vs1r75vYzeKbbyt93W6Swuz6dvu068bbO4br3rz9HH8PAAD__2j2vz0">