diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-06-22 17:44:36 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-26 07:46:35 +0100 |
| commit | ca0d0951c1e43cb5a18e668371f22a12416a98df (patch) | |
| tree | bf348f937dfd15491dc3fad596029b3383b144cb /include | |
| parent | 8b799c50ead1622691d870a1719c6dc7c34b5892 (diff) | |
| download | klee-ca0d0951c1e43cb5a18e668371f22a12416a98df.tar.gz | |
RefTest: suppress -Wself-move
This warning (introduced with GCC 13, also present in clang) warns precisely about what we want to test here.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions