├── .gitignore ├── .gitmodules ├── C18.md ├── Dockerfile ├── INSTALL.md ├── Jenkinsfile ├── LICENSE ├── Makefile ├── README.md ├── clang-tools ├── .gitignore ├── CMakeLists.txt ├── CallSites │ └── CallSites.cc └── ClangKast │ ├── ClangKast.cc │ ├── ClangKast.h │ └── GetKastVisitor.h ├── examples ├── c++ │ └── demo │ │ ├── 1-buffer-overflow.C │ │ └── 2-integer-overflow.C └── c │ ├── README.md │ ├── demo │ ├── 1-unsequenced-side-effect.c │ ├── 2-buffer-overflow.c │ ├── 3-array-in-struct.c │ ├── 4-buffer-underflow-external.c │ ├── 5-buffer-overflow-environment.c │ ├── 6-int-overflow.c │ ├── 7-out-of-lifetime.c │ ├── 8-int-overflow-tricky.c │ ├── 9-memory-leak.c │ └── README.md │ └── error-codes │ ├── Error_Codes.csv │ ├── Makefile │ ├── README.md │ ├── implementation-defined │ ├── IMPL-CCV13-bad-static.c │ ├── IMPL-CCV13-bad-static.output │ ├── IMPL-CCV13-good.c │ ├── IMPL-CCV2-bad-static.c │ ├── IMPL-CCV2-bad-static.output │ ├── IMPL-CCV2-good.c │ ├── IMPL-CCVE4-bad.c │ ├── IMPL-CCVE4-bad.output │ ├── IMPL-CCVE4-good.c │ ├── IMPL-CEB8-bad.c │ ├── IMPL-CEB8-bad.output │ ├── IMPL-CEB8-good.c │ ├── IMPL-CEMX4-bad.c │ ├── IMPL-CEMX4-bad.output │ ├── IMPL-CEMX4-good.c │ ├── IMPL-CTI4-bad-static.c │ ├── IMPL-CTI4-bad-static.output │ ├── IMPL-CTI4-good.c │ ├── IMPL-EIO5-bad.c │ ├── IMPL-EIO5-bad.output │ ├── IMPL-EIO5-good.c │ ├── IMPL-EIO6-bad.c │ ├── IMPL-EIO6-bad.output │ ├── IMPL-EIO6-good.c │ ├── IMPL-PTHREAD99-bad.c │ ├── IMPL-PTHREAD99-bad.output │ ├── IMPL-PTHREAD99-good.c │ ├── IMPL-STDLIB8-bad.c │ ├── IMPL-STDLIB8-bad.output │ ├── IMPL-STDLIB8-good.c │ ├── IMPLUB-CEB12-bad-static.c │ ├── IMPLUB-CEB12-bad-static.output │ ├── IMPLUB-CEB12-good.c │ ├── IMPLUB-CEMX5-bad.c │ ├── IMPLUB-CEMX5-bad.output │ ├── IMPLUB-CEMX5-good.c │ ├── IMPLUB-CEMX6-bad.c │ ├── IMPLUB-CEMX6-bad.output │ ├── IMPLUB-CEMX6-good.c │ └── Makefile │ ├── lint │ ├── L-CCVE1-bad.c │ ├── L-CCVE1-bad.output │ ├── L-CCVE1-good.c │ ├── L-CCVE2-bad.c │ ├── L-CCVE2-bad.output │ ├── L-CCVE2-good.c │ ├── L-CCVE3-bad.c │ ├── L-CCVE3-bad.output │ ├── L-CCVE3-good.c │ ├── L-CEE6-bad.c │ ├── L-CEE6-bad.output │ ├── L-CEE6-good.c │ ├── L-CEIE1-bad.c │ ├── L-CEIE1-bad.output │ ├── L-CEIE1-good.c │ ├── L-CEIE2-bad.c │ ├── L-CEIE2-bad.output │ ├── L-CEIE2-good.c │ ├── L-CER7-bad-crash.c │ ├── L-CER7-bad-crash.output │ ├── L-CER7-good.c │ ├── L-CMRE1-bad.c │ ├── L-CMRE1-bad.output │ ├── L-CMRE1-good.c │ ├── L-EFNC3-bad.c │ ├── L-EFNC3-bad.output │ ├── L-EFNC3-good.c │ ├── L-EFNCE1-bad.c │ ├── L-EFNCE1-bad.output │ ├── L-EFNCE1-good.c │ ├── L-EIOE1-bad.c │ ├── L-EIOE1-bad.output │ ├── L-EIOE1-good.c │ ├── L-EXC3-bad.c │ ├── L-EXC3-bad.output │ ├── L-EXC3-good.c │ ├── L-PTHREAD9-bad.c │ ├── L-PTHREAD9-bad.output │ ├── L-PTHREAD9-good.c │ ├── L-RESTRICT1-bad-static.c │ ├── L-RESTRICT1-bad-static.output │ ├── L-RESTRICT1-bad.output │ ├── L-RESTRICT1-good.c │ ├── L-STDLIBE1-bad.c │ ├── L-STDLIBE1-bad.output │ ├── L-STDLIBE1-good.c │ ├── L-STDLIBE2-bad.c │ ├── L-STDLIBE2-bad.output │ ├── L-STDLIBE2-good.c │ ├── L-STDLIBE3-bad.c │ ├── L-STDLIBE3-bad.output │ ├── L-STDLIBE3-good.c │ ├── L-TFD1-bad-static.c │ ├── L-TFD1-bad-static.output │ ├── L-TFD1-good.c │ ├── L-TREMPTY-bad-static.c │ ├── L-TREMPTY-bad-static.output │ ├── L-TREMPTY-good.c │ ├── L-TRZERO-bad-static.c │ ├── L-TRZERO-bad-static.output │ ├── L-TRZERO-good.c │ ├── L-UNISTD1-bad.c │ ├── L-UNISTD1-bad.output │ ├── L-UNISTD1-good.c │ └── Makefile │ ├── posix │ ├── Makefile │ ├── UB-PTHREAD1-bad.c │ ├── UB-PTHREAD1-bad.output │ ├── UB-PTHREAD1-good.c │ ├── UB-PTHREAD10-bad.c │ ├── UB-PTHREAD10-bad.output │ ├── UB-PTHREAD10-good.c │ ├── UB-PTHREAD12-bad.c │ ├── UB-PTHREAD12-bad.output │ ├── UB-PTHREAD12-good.c │ ├── UB-PTHREAD13-bad.c │ ├── UB-PTHREAD13-bad.output │ ├── UB-PTHREAD13-good.c │ ├── UB-PTHREAD2-bad.c │ ├── UB-PTHREAD2-bad.output │ ├── UB-PTHREAD2-good.c │ ├── UB-PTHREAD3-bad.c │ ├── UB-PTHREAD3-bad.output │ ├── UB-PTHREAD3-good.c │ ├── UB-PTHREAD4-bad.c │ ├── UB-PTHREAD4-bad.output │ ├── UB-PTHREAD4-good.c │ ├── UB-PTHREAD5-bad.c │ ├── UB-PTHREAD5-bad.output │ ├── UB-PTHREAD5-good.c │ ├── UB-PTHREAD6-bad.c │ ├── UB-PTHREAD6-bad.output │ ├── UB-PTHREAD6-good.c │ ├── UB-PTHREAD7-bad.c │ ├── UB-PTHREAD7-bad.output │ ├── UB-PTHREAD7-good.c │ ├── UB-PTHREAD8-bad.c │ ├── UB-PTHREAD8-bad.output │ ├── UB-PTHREAD8-good.c │ ├── UB-THREADS1-bad.c │ ├── UB-THREADS1-bad.output │ └── UB-THREADS1-good.c │ ├── syntax-error │ ├── Makefile │ ├── SE-CID1-bad-static.c │ ├── SE-CID1-bad-static.output │ ├── SE-CID1-good.c │ └── SE-TCANON2-good.c │ ├── undefined │ ├── Makefile │ ├── UB-CB1-bad.c │ ├── UB-CB1-bad.output │ ├── UB-CB1-good.c │ ├── UB-CB2-bad.c │ ├── UB-CB2-bad.output │ ├── UB-CB2-good.c │ ├── UB-CB3-bad.c │ ├── UB-CB3-bad.output │ ├── UB-CB3-good.c │ ├── UB-CB4-bad.c │ ├── UB-CB4-bad.output │ ├── UB-CCV1-bad-static.c │ ├── UB-CCV1-bad-static.output │ ├── UB-CCV1-good.c │ ├── UB-CCV11-bad.c │ ├── UB-CCV11-bad.output │ ├── UB-CCV11-good.c │ ├── UB-CCV12-bad.c │ ├── UB-CCV12-bad.output │ ├── UB-CCV12-good.c │ ├── UB-CCV3-bad.c │ ├── UB-CCV3-bad.output │ ├── UB-CCV3-good.c │ ├── UB-CCV4-bad.c │ ├── UB-CCV4-bad.output │ ├── UB-CCV4-good.c │ ├── UB-CCV5-bad.c │ ├── UB-CCV5-bad.output │ ├── UB-CCV5-good.c │ ├── UB-CCV6-bad.c │ ├── UB-CCV6-bad.output │ ├── UB-CCV6-good.c │ ├── UB-CCV7-bad.c │ ├── UB-CCV7-bad.output │ ├── UB-CCV7-good.c │ ├── UB-CDI1-bad-static.c │ ├── UB-CDI1-bad-static.output │ ├── UB-CDI1-good.c │ ├── UB-CDI2-bad-static.c │ ├── UB-CDI2-bad-static.output │ ├── UB-CDI2-good.c │ ├── UB-CDI3-bad-static.c │ ├── UB-CDI3-bad-static.output │ ├── UB-CDI3-good.c │ ├── UB-CDT1-bad-static.c │ ├── UB-CDT1-bad-static.output │ ├── UB-CDT1-good.c │ ├── UB-CDT2-bad-static.c │ ├── UB-CDT2-bad-static.output │ ├── UB-CDT2-good.c │ ├── UB-CEA1-bad.c │ ├── UB-CEA1-bad.output │ ├── UB-CEA1-good.c │ ├── UB-CEA5-bad.c │ ├── UB-CEA5-bad.output │ ├── UB-CEA5-good.c │ ├── UB-CEB2-bad-static.c │ ├── UB-CEB2-bad-static.output │ ├── UB-CEB2-good.c │ ├── UB-CEB3-bad-static.c │ ├── UB-CEB3-bad-static.output │ ├── UB-CEB3-good.c │ ├── UB-CEB4-bad-static.c │ ├── UB-CEB4-bad-static.output │ ├── UB-CEB4-good.c │ ├── UB-CEB6-bad-static.c │ ├── UB-CEB6-bad-static.output │ ├── UB-CEB6-good.c │ ├── UB-CEB7-bad-static.c │ ├── UB-CEB7-bad-static.output │ ├── UB-CEB7-good.c │ ├── UB-CEE1-bad.c │ ├── UB-CEE1-bad.output │ ├── UB-CEE1-good.c │ ├── UB-CEE2-bad.c │ ├── UB-CEE2-bad.output │ ├── UB-CEE2-good.c │ ├── UB-CEE3-bad-static.c │ ├── UB-CEE3-bad-static.output │ ├── UB-CEE3-good.c │ ├── UB-CEE4-bad.c │ ├── UB-CEE4-bad.output │ ├── UB-CEE4-good.c │ ├── UB-CEE5-bad-static.c │ ├── UB-CEE5-bad-static.output │ ├── UB-CEE5-good.c │ ├── UB-CEM1-bad-static.c │ ├── UB-CEM1-bad-static.output │ ├── UB-CEM1-good.c │ ├── UB-CEM2-bad-static.c │ ├── UB-CEM2-bad-static.output │ ├── UB-CEM2-good.c │ ├── UB-CEMX1-bad.c │ ├── UB-CEMX1-bad.output │ ├── UB-CEMX1-good.c │ ├── UB-CEMX2-bad.c │ ├── UB-CEMX2-bad.output │ ├── UB-CEMX2-good.c │ ├── UB-CEMX3-bad-static.c │ ├── UB-CEMX3-bad-static.output │ ├── UB-CEMX3-good.c │ ├── UB-CER3-bad.c │ ├── UB-CER3-bad.output │ ├── UB-CER3-good.c │ ├── UB-CER4-bad.c │ ├── UB-CER4-bad.output │ ├── UB-CER4-good.c │ ├── UB-CERL1-bad.c │ ├── UB-CERL1-bad.output │ ├── UB-CERL1-good.c │ ├── UB-CERL2-bad.c │ ├── UB-CERL2-bad.output │ ├── UB-CERL2-good.c │ ├── UB-CERL3-bad.c │ ├── UB-CERL3-bad.output │ ├── UB-CERL3-good.c │ ├── UB-CERL4-bad.c │ ├── UB-CERL4-bad.output │ ├── UB-CERL4-good.c │ ├── UB-CERL6-bad.c │ ├── UB-CERL6-bad.output │ ├── UB-CERL6-good.c │ ├── UB-CID2-bad.c │ ├── UB-CID2-bad.output │ ├── UB-CID2-good.c │ ├── UB-CMW1-bad.c │ ├── UB-CMW1-bad.output │ ├── UB-CMW1-good.c │ ├── UB-CTI1-bad-static.c │ ├── UB-CTI1-bad-static.output │ ├── UB-CTI1-good.c │ ├── UB-CTM1-bad.c │ ├── UB-CTM1-bad.output │ ├── UB-CTM1-good.c │ ├── UB-CTYPE1-bad.c │ ├── UB-CTYPE1-bad.output │ ├── UB-CTYPE1-good.c │ ├── UB-ECL3-bad.c │ ├── UB-ECL3-bad.output │ ├── UB-ECL3-good.c │ ├── UB-ECL4-bad.c │ ├── UB-ECL4-bad.output │ ├── UB-ECL4-good.c │ ├── UB-EEA1-bad.c │ ├── UB-EEA1-bad.output │ ├── UB-EEA1-good.c │ ├── UB-EEA2-bad.c │ ├── UB-EEA2-bad.output │ ├── UB-EEA2-good.c │ ├── UB-EEA3-bad.c │ ├── UB-EEA3-bad.output │ ├── UB-EEA3-good.c │ ├── UB-EEA4-bad.c │ ├── UB-EEA4-bad.output │ ├── UB-EEA4-good.c │ ├── UB-EEA5-bad.c │ ├── UB-EEA5-bad.output │ ├── UB-EEA5-good.c │ ├── UB-EEC1-bad.c │ ├── UB-EEC1-bad.output │ ├── UB-EEC1-good.c │ ├── UB-EFNC1-bad.c │ ├── UB-EFNC1-bad.output │ ├── UB-EFNC1-good.c │ ├── UB-EFNC2-bad.c │ ├── UB-EFNC2-bad.output │ ├── UB-EFNC2-good.c │ ├── UB-EIO10-bad.c │ ├── UB-EIO10-bad.output │ ├── UB-EIO10-good.c │ ├── UB-EIO11-bad.c │ ├── UB-EIO11-bad.output │ ├── UB-EIO11-good.c │ ├── UB-EIO2-bad.c │ ├── UB-EIO2-bad.output │ ├── UB-EIO2-good.c │ ├── UB-EIO3-bad.c │ ├── UB-EIO3-bad.output │ ├── UB-EIO3-good.c │ ├── UB-EIO4-bad.c │ ├── UB-EIO4-bad.output │ ├── UB-EIO4-good.c │ ├── UB-EIO7-bad.c │ ├── UB-EIO7-bad.output │ ├── UB-EIO7-good.c │ ├── UB-EIO8-bad-nc.c │ ├── UB-EIO8-bad-nc.output │ ├── UB-EIO8-good.c │ ├── UB-EIO9-bad.c │ ├── UB-EIO9-bad.output │ ├── UB-EIO9-good.c │ ├── UB-ESR1-bad.c │ ├── UB-ESR1-bad.output │ ├── UB-ESR1-good.c │ ├── UB-FD4-bad-static.c │ ├── UB-FD4-bad-static.output │ ├── UB-FD4-good.c │ ├── UB-FD5-bad-static.c │ ├── UB-FD5-bad-static.output │ ├── UB-FD5-good.c │ ├── UB-FD6-bad-static.c │ ├── UB-FD6-bad-static.output │ ├── UB-FD6-good.c │ ├── UB-FD7-bad-static.c │ ├── UB-FD7-bad-static.output │ ├── UB-FD7-good.c │ ├── UB-FD8-bad-static.c │ ├── UB-FD8-bad-static.output │ ├── UB-FD8-good.c │ ├── UB-FD9-bad-static.c │ ├── UB-FD9-bad-static.output │ ├── UB-FD9-good.c │ ├── UB-IO1-bad.c │ ├── UB-IO1-bad.output │ ├── UB-IO1-good.c │ ├── UB-IO2-bad.c │ ├── UB-IO2-bad.output │ ├── UB-IO2-good.c │ ├── UB-SETJMP1-bad.c │ ├── UB-SETJMP1-bad.output │ ├── UB-SETJMP1-good.c │ ├── UB-SETJMP2-bad.c │ ├── UB-SETJMP2-bad.output │ ├── UB-SETJMP2-good.c │ ├── UB-SIGNAL1-bad.c │ ├── UB-SIGNAL1-bad.output │ ├── UB-SIGNAL1-good.c │ ├── UB-SIGNAL2-bad.c │ ├── UB-SIGNAL2-bad.output │ ├── UB-SIGNAL2-good.c │ ├── UB-SIGNAL3-bad.c │ ├── UB-SIGNAL3-bad.output │ ├── UB-SIGNAL3-good.c │ ├── UB-SIGNAL4-bad.c │ ├── UB-SIGNAL4-bad.output │ ├── UB-SIGNAL4-good.c │ ├── UB-STDARG1-bad.c │ ├── UB-STDARG1-bad.output │ ├── UB-STDARG1-good.c │ ├── UB-STDARG10-bad.c │ ├── UB-STDARG10-bad.output │ ├── UB-STDARG10-good.c │ ├── UB-STDARG12-bad.c │ ├── UB-STDARG12-bad.output │ ├── UB-STDARG12-good.c │ ├── UB-STDARG2-bad.c │ ├── UB-STDARG2-bad.output │ ├── UB-STDARG2-good.c │ ├── UB-STDARG3-bad.c │ ├── UB-STDARG3-bad.output │ ├── UB-STDARG3-good.c │ ├── UB-STDARG4-bad.c │ ├── UB-STDARG4-bad.output │ ├── UB-STDARG4-good.c │ ├── UB-STDARG5-bad.c │ ├── UB-STDARG5-bad.output │ ├── UB-STDARG5-good.c │ ├── UB-STDARG6-bad.c │ ├── UB-STDARG6-bad.output │ ├── UB-STDARG6-good.c │ ├── UB-STDARG9-bad.c │ ├── UB-STDARG9-bad.output │ ├── UB-STDARG9-good.c │ ├── UB-STDIO1-bad.c │ ├── UB-STDIO1-bad.output │ ├── UB-STDIO1-good.c │ ├── UB-STDIO10-bad.c │ ├── UB-STDIO10-bad.output │ ├── UB-STDIO10-good.c │ ├── UB-STDIO11-bad.c │ ├── UB-STDIO11-bad.output │ ├── UB-STDIO11-good.c │ ├── UB-STDIO12-bad.c │ ├── UB-STDIO12-bad.output │ ├── UB-STDIO12-good.c │ ├── UB-STDIO13-bad.c │ ├── UB-STDIO13-bad.output │ ├── UB-STDIO13-good.c │ ├── UB-STDIO3-bad.c │ ├── UB-STDIO3-bad.output │ ├── UB-STDIO3-good.c │ ├── UB-STDIO7-bad.c │ ├── UB-STDIO7-bad.output │ ├── UB-STDIO7-good.c │ ├── UB-STDIO8-bad.c │ ├── UB-STDIO8-bad.output │ ├── UB-STDIO8-good.c │ ├── UB-STDIO9-bad.c │ ├── UB-STDIO9-bad.output │ ├── UB-STDIO9-good.c │ ├── UB-STDLIB1-bad.c │ ├── UB-STDLIB1-bad.output │ ├── UB-STDLIB1-good.c │ ├── UB-STDLIB2-bad.c │ ├── UB-STDLIB2-bad.output │ ├── UB-STDLIB2-good.c │ ├── UB-STDLIB4-bad.c │ ├── UB-STDLIB4-bad.output │ ├── UB-STDLIB4-good.c │ ├── UB-STDLIB5-bad.c │ ├── UB-STDLIB5-bad.output │ ├── UB-STDLIB5-good.c │ ├── UB-STRING1-bad.c │ ├── UB-STRING1-bad.output │ ├── UB-STRING1-good.c │ ├── UB-TDG1-bad-static.c │ ├── UB-TDG1-bad-static.output │ ├── UB-TDG1-good.c │ ├── UB-TDG11-bad-static.c │ ├── UB-TDG11-bad-static.output │ ├── UB-TDG11-good.c │ ├── UB-TDG12-bad-static.c │ ├── UB-TDG12-bad-static.output │ ├── UB-TDG12-good.c │ ├── UB-TDG3-bad-static.c │ ├── UB-TDG3-bad-static.output │ ├── UB-TDG3-good.c │ ├── UB-TDG6-bad-static.c │ ├── UB-TDG6-bad-static.output │ ├── UB-TDG6-good.c │ ├── UB-TDG7-bad-static.c │ ├── UB-TDG7-bad-static.output │ ├── UB-TDG7-good.c │ ├── UB-TDL5-bad-static.c │ ├── UB-TDL5-bad-static.output │ ├── UB-TDL5-good.c │ ├── UB-TDR1-bad-static.c │ ├── UB-TDR1-bad-static.output │ ├── UB-TDR1-good.c │ ├── UB-TDR2-bad-static.c │ ├── UB-TDR2-bad-static.output │ ├── UB-TDR2-good.c │ ├── UB-TDR3-bad-static.c │ ├── UB-TDR3-bad-static.output │ ├── UB-TDR3-good.c │ ├── UB-TEAS4-bad-static.c │ ├── UB-TEAS4-bad-static.output │ ├── UB-TEAS4-good.c │ ├── UB-TEOFF1-bad-static.c │ ├── UB-TEOFF1-bad-static.output │ ├── UB-TEOFF1-good.c │ ├── UB-TIN1-bad-static-link1.c │ ├── UB-TIN1-bad-static-link2.c │ ├── UB-TIN1-bad-static.output │ ├── UB-TIN1-good-link1.c │ ├── UB-TIN1-good-link2.c │ ├── UB-TIN2-bad-static-link1.c │ ├── UB-TIN2-bad-static-link2.c │ ├── UB-TIN2-bad-static.output │ ├── UB-TIN2-good-link1.c │ ├── UB-TIN2-good-link2.c │ ├── UB-TTE1-bad-static.c │ ├── UB-TTE1-bad-static.output │ └── UB-TTE1-good.c │ ├── unspecified │ ├── Makefile │ ├── USP-CEER6-bad.c │ ├── USP-CEER6-bad.output │ ├── USP-CEER6-good.c │ ├── USP-CERL7-bad.c │ ├── USP-CERL7-bad.output │ ├── USP-CERL7-good.c │ ├── USP-CMR1-bad.c │ ├── USP-CMR1-bad.output │ ├── USP-CMR1-good.c │ ├── USP-CMR2-bad.c │ ├── USP-CMR2-bad.output │ ├── USP-CMR2-good.c │ ├── USP-ESS1-bad.c │ ├── USP-ESS1-bad.output │ ├── USP-ESS1-good.c │ ├── USP-IO3-bad.c │ ├── USP-IO3-bad.output │ ├── USP-IO3-good.c │ ├── USP-STDIO2-bad.c │ ├── USP-STDIO2-bad.output │ ├── USP-STDIO2-good.c │ ├── USP-STDLIB3-bad.c │ ├── USP-STDLIB3-bad.output │ ├── USP-STDLIB3-good.c │ ├── USP-STDLIB6-bad.c │ ├── USP-STDLIB6-bad.output │ └── USP-STDLIB6-good.c │ └── violates-constraint │ ├── fatal │ ├── CV-CCV10-bad.c │ ├── CV-CCV10-bad.output │ ├── CV-CCV10-good.c │ ├── CV-CCV9-bad.c │ ├── CV-CCV9-bad.output │ ├── CV-CCV9-good.c │ ├── CV-CEA3-bad-static.c │ ├── CV-CEA3-bad-static.output │ ├── CV-CEA3-good.c │ ├── CV-CEA4-bad-static.c │ ├── CV-CEA4-bad-static.output │ ├── CV-CEA4-good.c │ ├── CV-CEB1-bad-static.c │ ├── CV-CEB1-bad-static.output │ ├── CV-CEB1-good.c │ ├── CV-CEB10-bad-static.c │ ├── CV-CEB10-bad-static.output │ ├── CV-CEB10-good.c │ ├── CV-CEB11-bad-static.c │ ├── CV-CEB11-bad-static.output │ ├── CV-CEB11-good.c │ ├── CV-CEB5-bad-static.c │ ├── CV-CEB5-bad-static.output │ ├── CV-CEB5-good.c │ ├── CV-CEB9-bad-static.c │ ├── CV-CEB9-bad-static.output │ ├── CV-CEB9-good.c │ ├── CV-CEM3-bad-static.c │ ├── CV-CEM3-bad-static.output │ ├── CV-CEM3-good.c │ ├── CV-CER1-bad-static.c │ ├── CV-CER1-bad-static.output │ ├── CV-CER1-good.c │ ├── CV-CER6-bad-static.c │ ├── CV-CER6-bad-static.output │ ├── CV-CER6-good.c │ ├── CV-CTI3-bad-static.c │ ├── CV-CTI3-bad-static.output │ ├── CV-CTI3-good.c │ ├── CV-EFC1-bad-static.c │ ├── CV-EFC1-bad-static.output │ ├── CV-EFC1-good.c │ ├── CV-FD1-bad-static.c │ ├── CV-FD1-bad-static.output │ ├── CV-FD1-good.c │ ├── CV-FD2-bad-static.c │ ├── CV-FD2-bad-static.output │ ├── CV-FD2-good.c │ ├── CV-FD3-bad-static.c │ ├── CV-FD3-bad-static.output │ ├── CV-FD3-good.c │ ├── CV-SSA1-bad-static.c │ ├── CV-SSA1-bad-static.output │ ├── CV-SSA1-good.c │ ├── CV-SSA2-bad-static.c │ ├── CV-SSA2-bad-static.output │ ├── CV-SSA2-good.c │ ├── CV-TAL1-bad-static.c │ ├── CV-TAL1-bad-static.output │ ├── CV-TAL1-good.c │ ├── CV-TDG10-bad-static.c │ ├── CV-TDG10-bad-static.output │ ├── CV-TDG10-good.c │ ├── CV-TDG13-bad-static.c │ ├── CV-TDG13-bad-static.output │ ├── CV-TDG13-good.c │ ├── CV-TDG15-bad-static.c │ ├── CV-TDG15-bad-static.output │ ├── CV-TDG15-good.c │ ├── CV-TDG18-bad-static.c │ ├── CV-TDG18-bad-static.output │ ├── CV-TDG18-good.c │ ├── CV-TDG2-bad-static.c │ ├── CV-TDG2-bad-static.output │ ├── CV-TDG2-good.c │ ├── CV-TDG4-bad-static.c │ ├── CV-TDG4-bad-static.output │ ├── CV-TDG4-good.c │ ├── CV-TDG5-bad-static.c │ ├── CV-TDG5-bad-static.output │ ├── CV-TDG5-good.c │ ├── CV-TDG8-bad-static.c │ ├── CV-TDG8-bad-static.output │ ├── CV-TDG8-good.c │ ├── CV-TDG9-bad-static.c │ ├── CV-TDG9-bad-static.output │ ├── CV-TDG9-good.c │ ├── CV-TDL1-bad-static.c │ ├── CV-TDL1-bad-static.output │ ├── CV-TDL1-good.c │ ├── CV-TDL2-bad-static.c │ ├── CV-TDL2-bad-static.output │ ├── CV-TDL2-good.c │ ├── CV-TDL3-bad-static.c │ ├── CV-TDL3-bad-static.output │ ├── CV-TDL3-good.c │ ├── CV-TDL4-bad-static.c │ ├── CV-TDL4-bad-static.output │ ├── CV-TDL4-good.c │ ├── CV-TEAS1-bad-static.c │ ├── CV-TEAS1-bad-static.output │ ├── CV-TEAS1-good.c │ ├── CV-TEAS3-bad-static.c │ ├── CV-TEAS3-bad-static.output │ ├── CV-TEAS3-good.c │ ├── CV-TEAS6-bad-static.c │ ├── CV-TEAS6-bad-static.output │ ├── CV-TEAS6-good.c │ ├── CV-TES2-bad-static.c │ ├── CV-TES2-bad-static.output │ ├── CV-TES2-good.c │ ├── CV-TSE1-bad-static.c │ ├── CV-TSE1-bad-static.output │ ├── CV-TSE3-bad-static.c │ ├── CV-TSE3-bad-static.output │ ├── CV-TSE3-good.c │ ├── CV-TTE5-bad-static.c │ ├── CV-TTE5-bad-static.output │ ├── CV-TTE5-good.c │ ├── Makefile │ └── kcc_config │ └── nonfatal │ ├── CV-CDE1-bad-static.c │ ├── CV-CDE1-bad-static.output │ ├── CV-CDE1-good.c │ ├── CV-CDE2-bad-static.c │ ├── CV-CDE2-bad-static.output │ ├── CV-CDE2-good.c │ ├── CV-CDI4-bad-static.c │ ├── CV-CDI4-bad-static.output │ ├── CV-CDI4-good.c │ ├── CV-CDI5-bad-static.c │ ├── CV-CDI5-bad-static.output │ ├── CV-CDI5-good.c │ ├── CV-CDT3-bad-static.c │ ├── CV-CDT3-bad-static.output │ ├── CV-CDT3-good.c │ ├── CV-CDT4-bad-static.c │ ├── CV-CDT4-bad-static.output │ ├── CV-CDT4-good.c │ ├── CV-CDT5-bad-static.c │ ├── CV-CDT5-bad-static.output │ ├── CV-CDT5-good.c │ ├── CV-CEA7-bad-static.c │ ├── CV-CEA7-bad-static.output │ ├── CV-CEA7-good.c │ ├── CV-CEA8-bad-static.c │ ├── CV-CEA8-bad-static.output │ ├── CV-CEA8-good.c │ ├── CV-CEA9-bad-static.c │ ├── CV-CEA9-bad-static.output │ ├── CV-CEA9-good.c │ ├── CV-CER2-bad.c │ ├── CV-CER2-bad.output │ ├── CV-CER2-good.c │ ├── CV-CER5-bad.c │ ├── CV-CER5-bad.output │ ├── CV-CER5-good.c │ ├── CV-CERL5-bad-static.c │ ├── CV-CERL5-bad-static.output │ ├── CV-CERL5-good.c │ ├── CV-CERL8-bad-static.c │ ├── CV-CERL8-bad-static.output │ ├── CV-CERL8-good.c │ ├── CV-CERL9-bad-static.c │ ├── CV-CERL9-bad-static.output │ ├── CV-CERL9-good.c │ ├── CV-CTI2-bad-static.c │ ├── CV-CTI2-bad-static.output │ ├── CV-CTI2-good.c │ ├── CV-CTI5-bad-static.c │ ├── CV-CTI5-bad-static.output │ ├── CV-TCANON1-bad-static.c │ ├── CV-TCANON1-bad-static.output │ ├── CV-TCANON1-good.c │ ├── CV-TCANON3-bad-static.c │ ├── CV-TCANON3-bad-static.output │ ├── CV-TCANON3-good.c │ ├── CV-TCANON4-bad-static.c │ ├── CV-TCANON4-bad-static.output │ ├── CV-TCANON4-good.c │ ├── CV-TEAS2-bad-static.c │ ├── CV-TEAS2-bad-static.output │ ├── CV-TEAS2-good.c │ ├── CV-TEG1-bad-static.c │ ├── CV-TEG1-bad-static.output │ ├── CV-TEG1-good.c │ ├── CV-TEG2-bad-static.c │ ├── CV-TEG2-bad-static.output │ ├── CV-TEG2-good.c │ ├── CV-TEG3-bad-static.c │ ├── CV-TEG3-bad-static.output │ ├── CV-TEG3-good.c │ ├── CV-TES1-bad-static.c │ ├── CV-TES1-bad-static.output │ ├── CV-TES1-good.c │ ├── CV-TSE1-good.c │ ├── CV-TSE2-bad-static.c │ ├── CV-TSE2-bad-static.output │ ├── CV-TSE2-good.c │ ├── CV-TTE2-bad-static.c │ ├── CV-TTE2-bad-static.output │ ├── CV-TTE2-good.c │ ├── CV-TTE3-bad-static.c │ ├── CV-TTE3-bad-static.output │ ├── CV-TTE3-good.c │ ├── CV-TTE4-bad-static.c │ ├── CV-TTE4-bad-static.output │ ├── CV-TTE4-good.c │ └── Makefile ├── licenses ├── LICENSE-CDECL ├── LICENSE-CIL-C-PARSER └── LICENSE-ORIGINAL-C-SEMANTICS ├── native-server ├── README.md ├── main.c ├── platform.h ├── server.c └── server.h ├── parser ├── Makefile ├── cabs.ml ├── cabsDriver.ml ├── cabshelper.ml ├── clexer.mll ├── cparser.mly ├── errormsg.ml ├── escape.ml ├── frontc.ml ├── growArray.ml ├── kPrinter.ml ├── lexerhack.ml ├── longarray.ml ├── test.c └── whitetrack.ml ├── profiles ├── no-hwa └── x86-gcc-limited-libc │ ├── cc │ ├── compiler-src │ └── builtintypes.C │ ├── cpp-pp │ ├── cxx │ ├── include │ ├── kcc_settings.h │ └── library │ │ ├── assert.h │ │ ├── complex.h │ │ ├── errno.h │ │ ├── fenv.h │ │ ├── float.h │ │ ├── inttypes.h │ │ ├── iso646.h │ │ ├── limits.h │ │ ├── locale.h │ │ ├── math.h │ │ ├── signal.h │ │ ├── stdalign.h │ │ ├── stdarg.h │ │ ├── stdatomic.h │ │ ├── stdbool.h │ │ ├── stddef.h │ │ ├── stdint.h │ │ ├── stdio.h │ │ ├── stdlib.h │ │ ├── stdnoreturn.h │ │ ├── string.h │ │ ├── strings.h │ │ ├── sys │ │ ├── param.h │ │ ├── stat.h │ │ └── types.h │ │ ├── tgmath.h │ │ ├── threads.h │ │ ├── time.h │ │ ├── uchar.h │ │ ├── unistd.h │ │ ├── wchar.h │ │ └── wctype.h │ ├── native │ ├── builtins.c │ └── platform.c │ ├── pp │ ├── semantics │ ├── c-extensions-common.k │ ├── c-extensions-translation.k │ ├── c-settings.k │ ├── compiler-settings.k │ ├── cpp-extensions-common.k │ ├── cpp-extensions-execution.k │ ├── cpp-extensions-translation.k │ ├── cpp-settings.k │ ├── extensions-execution.k │ ├── extensions-linking.k │ └── os-settings.k │ └── src │ ├── builtins.c │ ├── math.c │ ├── stdlib.c │ └── string.c ├── scripts ├── RV_Kcc │ ├── Files.pm │ ├── Opts.pm │ └── Shell.pm ├── build-logger.sh ├── cdecl-3.6.tar.gz ├── checkForModules.pl ├── docker-build ├── docker-entrypoint.sh ├── extract-references.cpp ├── gccsymdump ├── gen-file-atomically.sh ├── getopt.pl ├── globalize-syms ├── histogram-csv ├── ignored-flags ├── k++ ├── kcc ├── kranlib ├── logger ├── make-symbols ├── make-trampolines ├── merge-kcc-obj ├── please ├── please.d │ ├── findDefinitionOf.sh │ ├── findModule.sh │ ├── getModuleList.sh │ ├── modgen.sh │ └── reformat.sh ├── program-runner ├── rid ├── split-kcc-obj ├── testInstall.pl └── writelong.c ├── semantics ├── Makefile ├── c-cpp-linking.k ├── c-cpp.k ├── c-translation.k ├── c │ ├── README.md │ ├── language │ │ ├── common │ │ │ ├── alignment.k │ │ │ ├── binding.k │ │ │ ├── bits.k │ │ │ ├── bitsize.k │ │ │ ├── check-use.k │ │ │ ├── common.k │ │ │ ├── conversion.k │ │ │ ├── dynamic.k │ │ │ ├── error.k │ │ │ ├── expr │ │ │ │ ├── additive.k │ │ │ │ ├── assignment.k │ │ │ │ ├── bitwise.k │ │ │ │ ├── cast.k │ │ │ │ ├── eval.k │ │ │ │ ├── members.k │ │ │ │ ├── multiplicative.k │ │ │ │ ├── reference.k │ │ │ │ ├── relational.k │ │ │ │ └── unary.k │ │ │ ├── memory │ │ │ │ ├── alloc.k │ │ │ │ ├── reading.k │ │ │ │ └── writing.k │ │ │ ├── os-settings-syntax.k │ │ │ ├── promotion.k │ │ │ ├── settings.k │ │ │ ├── symloc.k │ │ │ ├── syntax.k │ │ │ ├── type-builder.k │ │ │ ├── typing.k │ │ │ └── typing │ │ │ │ ├── common.k │ │ │ │ ├── compatibility.k │ │ │ │ ├── effective.k │ │ │ │ ├── misc.k │ │ │ │ └── predicates.k │ │ ├── execution │ │ │ ├── check-effective.k │ │ │ ├── check-restrict.k │ │ │ ├── configuration.k │ │ │ ├── decl │ │ │ │ ├── local.k │ │ │ │ └── typedef.k │ │ │ ├── env.k │ │ │ ├── error.k │ │ │ ├── execution.k │ │ │ ├── expr │ │ │ │ ├── assignment.k │ │ │ │ ├── conditional.k │ │ │ │ ├── function-call.k │ │ │ │ ├── identifier.k │ │ │ │ ├── inc-and-dec.k │ │ │ │ ├── logical.k │ │ │ │ └── sequencing.k │ │ │ ├── init.k │ │ │ ├── io.k │ │ │ ├── races.k │ │ │ ├── sequence-point.k │ │ │ └── stmt │ │ │ │ ├── block.k │ │ │ │ ├── break.k │ │ │ │ ├── expr.k │ │ │ │ ├── goto.k │ │ │ │ ├── if-then.k │ │ │ │ ├── labeled.k │ │ │ │ ├── loop.k │ │ │ │ ├── return.k │ │ │ │ └── switch.k │ │ └── translation │ │ │ ├── annotation.k │ │ │ ├── compound-literal.k │ │ │ ├── configuration.k │ │ │ ├── decl │ │ │ ├── definition.k │ │ │ ├── global.k │ │ │ ├── initializer.k │ │ │ ├── local.k │ │ │ ├── resolution.k │ │ │ ├── tagged.k │ │ │ └── typedef.k │ │ │ ├── elaborator.k │ │ │ ├── env.k │ │ │ ├── error.k │ │ │ ├── expr │ │ │ ├── additive.k │ │ │ ├── alignof.k │ │ │ ├── assignment.k │ │ │ ├── bitwise.k │ │ │ ├── cast.k │ │ │ ├── conditional.k │ │ │ ├── eval.k │ │ │ ├── function-call.k │ │ │ ├── generic.k │ │ │ ├── identifier.k │ │ │ ├── inc-and-dec.k │ │ │ ├── logical.k │ │ │ ├── members.k │ │ │ ├── multiplicative.k │ │ │ ├── offsetof.k │ │ │ ├── reference.k │ │ │ ├── relational.k │ │ │ ├── sequencing.k │ │ │ ├── sizeof.k │ │ │ ├── types-compat.k │ │ │ └── unary.k │ │ │ ├── function-def.k │ │ │ ├── init.k │ │ │ ├── io.k │ │ │ ├── linking-interface.k │ │ │ ├── literal.k │ │ │ ├── process-label.k │ │ │ ├── promotion.k │ │ │ ├── stmt │ │ │ ├── block.k │ │ │ ├── break.k │ │ │ ├── expr.k │ │ │ ├── goto.k │ │ │ ├── if-then.k │ │ │ ├── labeled.k │ │ │ ├── loop.k │ │ │ ├── return.k │ │ │ ├── static-assert.k │ │ │ └── switch.k │ │ │ ├── syntax.k │ │ │ ├── translation.k │ │ │ └── typing │ │ │ ├── canonicalization.k │ │ │ ├── expr.k │ │ │ └── interpretation.k │ ├── library │ │ ├── builtin.k │ │ ├── ctype.k │ │ ├── io.k │ │ ├── library.k │ │ ├── locale.k │ │ ├── math.k │ │ ├── native.k │ │ ├── setjmp.k │ │ ├── signal.k │ │ ├── stdarg.k │ │ ├── stdio.k │ │ ├── stdlib.k │ │ ├── string.k │ │ ├── threads.k │ │ ├── time.k │ │ └── types.k │ └── linking.k ├── common │ ├── alignment.k │ ├── bits.k │ ├── builtin.k │ ├── common.k │ ├── compat.k │ ├── configuration.k │ ├── error.k │ ├── execution │ │ ├── delete-object.k │ │ ├── execution.k │ │ ├── function-call.k │ │ ├── io-buffered.k │ │ ├── return.k │ │ └── thread_local.k │ ├── init.k │ ├── linking-deps.k │ ├── memory.k │ ├── options.k │ ├── settings.k │ ├── symloc.k │ ├── syntax.k │ └── translation-unit.k ├── cpp-translation.k ├── cpp │ ├── language │ │ ├── common │ │ │ ├── alignment.k │ │ │ ├── bitsize.k │ │ │ ├── builtin.k │ │ │ ├── class.k │ │ │ ├── common.k │ │ │ ├── conversion.k │ │ │ ├── dynamic.k │ │ │ ├── env.k │ │ │ ├── error.k │ │ │ ├── expr │ │ │ │ ├── additive.k │ │ │ │ ├── bitwise.k │ │ │ │ ├── cast.k │ │ │ │ ├── eval.k │ │ │ │ ├── members.k │ │ │ │ ├── multiplicative.k │ │ │ │ ├── relational.k │ │ │ │ └── unary.k │ │ │ ├── io.k │ │ │ ├── map.k │ │ │ ├── memory │ │ │ │ ├── alloc.k │ │ │ │ ├── reading.k │ │ │ │ └── writing.k │ │ │ ├── reference.k │ │ │ ├── settings.k │ │ │ ├── stmt │ │ │ │ └── expr.k │ │ │ ├── symloc.k │ │ │ ├── syntax.k │ │ │ └── typing.k │ │ ├── execution │ │ │ ├── binding.k │ │ │ ├── conversion.k │ │ │ ├── decl │ │ │ │ ├── declarator.k │ │ │ │ └── initializer.k │ │ │ ├── env.k │ │ │ ├── error.k │ │ │ ├── execution.k │ │ │ ├── expr │ │ │ │ ├── assignment.k │ │ │ │ ├── comma.k │ │ │ │ ├── conditional.k │ │ │ │ ├── expr-loc.k │ │ │ │ ├── expr.k │ │ │ │ ├── function-call-to-c.k │ │ │ │ ├── function-call.k │ │ │ │ ├── inc-and-dec.k │ │ │ │ ├── logical.k │ │ │ │ ├── members.k │ │ │ │ ├── name.k │ │ │ │ ├── new.k │ │ │ │ ├── reference.k │ │ │ │ └── unary.k │ │ │ ├── full-expression.k │ │ │ ├── init.k │ │ │ ├── io.k │ │ │ ├── simple-execution.k │ │ │ ├── stmt │ │ │ │ ├── block.k │ │ │ │ ├── expr.k │ │ │ │ ├── goto.k │ │ │ │ ├── if.k │ │ │ │ ├── labeled.k │ │ │ │ ├── loop.k │ │ │ │ ├── return-from-c.k │ │ │ │ ├── return.k │ │ │ │ ├── stmt.k │ │ │ │ └── try.k │ │ │ └── temporary.k │ │ └── translation │ │ │ ├── configuration.k │ │ │ ├── constant.k │ │ │ ├── conversion.k │ │ │ ├── decl │ │ │ ├── alias.k │ │ │ ├── class.k │ │ │ ├── declarator.k │ │ │ ├── enum.k │ │ │ ├── initializer.k │ │ │ ├── linkage.k │ │ │ ├── namespace.k │ │ │ ├── template.k │ │ │ ├── typedef.k │ │ │ └── using.k │ │ │ ├── elaborator.k │ │ │ ├── env.k │ │ │ ├── error.k │ │ │ ├── expr │ │ │ ├── additive.k │ │ │ ├── alignof.k │ │ │ ├── assignment.k │ │ │ ├── bitwise.k │ │ │ ├── cast.k │ │ │ ├── comma.k │ │ │ ├── conditional.k │ │ │ ├── eval.k │ │ │ ├── function-call.k │ │ │ ├── inc-and-dec.k │ │ │ ├── literal.k │ │ │ ├── logical.k │ │ │ ├── members.k │ │ │ ├── multiplicative.k │ │ │ ├── new.k │ │ │ ├── reference.k │ │ │ ├── relational.k │ │ │ ├── sizeof.k │ │ │ └── unary.k │ │ │ ├── implicit.k │ │ │ ├── init.k │ │ │ ├── io.k │ │ │ ├── linking-interface.k │ │ │ ├── name.k │ │ │ ├── odr.k │ │ │ ├── operators.k │ │ │ ├── overloading.k │ │ │ ├── process-label.k │ │ │ ├── promotion.k │ │ │ ├── stmt │ │ │ ├── block.k │ │ │ ├── canonicalization.k │ │ │ ├── expr.k │ │ │ ├── goto.k │ │ │ ├── if.k │ │ │ ├── labeled.k │ │ │ ├── loop.k │ │ │ ├── return.k │ │ │ └── try.k │ │ │ ├── syntax.k │ │ │ ├── temporary.k │ │ │ ├── translation.k │ │ │ ├── typing │ │ │ ├── canonicalization.k │ │ │ └── expr.k │ │ │ └── value-category.k │ ├── library │ │ ├── bootstrap.k │ │ ├── exception.k │ │ ├── library.k │ │ └── new.k │ └── linking.k └── linking │ ├── c-builtin.k │ ├── c-resolution.k │ ├── configuration.k │ ├── cpp-builtin.k │ ├── cpp-resolution.k │ ├── error.k │ └── init.k ├── setup ├── README.md ├── fedora-28 │ ├── Vagrantfile │ └── platform.sh ├── scripts │ ├── bootstrap.sh │ ├── env.sh │ └── settings.sh ├── ubuntu-16.04 │ ├── Vagrantfile │ └── platform.sh └── ubuntu-18.04 │ ├── 2018-11-02-15-23-08.084-VBoxSVC-47821.log │ ├── Vagrantfile │ └── platform.sh ├── tests ├── Makefile ├── check-results.mk ├── unit-fail-compilation │ ├── 20030125-1.c │ ├── 20030125-1.c.ref │ ├── 20041212-1.c │ ├── 20041212-1.c.ref │ ├── 960405-1.c │ ├── 960405-1.c.ref │ ├── Makefile │ ├── alignas.c │ ├── alignas.c.ref │ ├── argv-qual.c │ ├── argv-qual.c.ref │ ├── bitfield-type.c │ ├── bitfield-type.c.ref │ ├── composite-fun-bad.c │ ├── composite-fun-bad.c.ref │ ├── defines.c │ ├── defines.c.ref │ ├── dup_params1.c │ ├── dup_params1.c.ref │ ├── dup_params2.c │ ├── dup_params2.c.ref │ ├── dup_params3.c │ ├── dup_params3.c.ref │ ├── enum-lvalue.c │ ├── enum-lvalue.c.ref │ ├── failing │ │ ├── j009h.c │ │ └── j009h.c.ref │ ├── flexible-array.c │ ├── flexible-array.c.ref │ ├── funstruct.c │ ├── funstruct.c.ref │ ├── generic-ref-rvalue.c │ ├── generic-ref-rvalue.c.ref │ ├── incompat-ints.c │ ├── incompat-ints.c.ref │ ├── incompatible-compare.c │ ├── incompatible-compare.c.ref │ ├── incomplete-enum.c │ ├── incomplete-enum.c.ref │ ├── j004a.c │ ├── j004a.c.ref │ ├── j004b.c │ ├── j004b.c.ref │ ├── j004c.c │ ├── j004c.c.ref │ ├── j004d.c │ ├── j004d.c.ref │ ├── j004e.c │ ├── j004e.c.ref │ ├── j004f.c │ ├── j004f.c.ref │ ├── j004g.c │ ├── j004g.c.ref │ ├── j004h.c │ ├── j004h.c.ref │ ├── j008a.c │ ├── j008a.c.ref │ ├── j008b.c │ ├── j008b.c.ref │ ├── j008c.c │ ├── j008c.c.ref │ ├── j008d.c │ ├── j008d.c.ref │ ├── j008e.c │ ├── j008e.c.ref │ ├── j008f.c │ ├── j008f.c.ref │ ├── j009f.c │ ├── j009f.c.ref │ ├── j014a.c │ ├── j014a.c.ref │ ├── j014b.c │ ├── j014b.c.ref │ ├── j014c.c │ ├── j014c.c.ref │ ├── j014d.c │ ├── j014d.c.ref │ ├── j015a.c │ ├── j015a.c.ref │ ├── j015b.c │ ├── j015b.c.ref │ ├── j015c.c │ ├── j015c.c.ref │ ├── j015d-link1.c.ref │ ├── j016b.c │ ├── j016b.c.ref │ ├── j016c.c │ ├── j016c.c.ref │ ├── j016d.c │ ├── j016d.c.ref │ ├── j017b.c │ ├── j017b.c.ref │ ├── j019a.c │ ├── j019a.c.ref │ ├── j020a.c │ ├── j020a.c.ref │ ├── j020b.c │ ├── j020b.c.ref │ ├── j020c-link1.c │ ├── j020c-link1.c.ref │ ├── j020c-link2.c │ ├── j020c-link2.c.ref │ ├── j022b.c │ ├── j022b.c.ref │ ├── j023a.c │ ├── j023a.c.ref │ ├── j023b.c │ ├── j023b.c.ref │ ├── j023c.c │ ├── j023c.c.ref │ ├── j023d.c │ ├── j023d.c.ref │ ├── j023e.c │ ├── j023e.c.ref │ ├── j023f.c │ ├── j023f.c.ref │ ├── j027a.c │ ├── j027a.c.ref │ ├── j027b.c │ ├── j027b.c.ref │ ├── j032a.c │ ├── j032a.c.ref │ ├── j032b.c │ ├── j032b.c.ref │ ├── j036a.c │ ├── j036a.c.ref │ ├── j036b.c │ ├── j036b.c.ref │ ├── j036c.c │ ├── j036c.c.ref │ ├── j039c-link1.c │ ├── j039c-link1.c.ref │ ├── j039c-link2.c │ ├── j039c-link2.c.ref │ ├── j039e-link1.c │ ├── j039e-link1.c.ref │ ├── j039e-link2.c │ ├── j039e-link2.c.ref │ ├── j041b-link1.c │ ├── j041b-link1.c.ref │ ├── j041b-link2.c │ ├── j041b-link2.c.ref │ ├── j041c-link1.c │ ├── j041c-link1.c.ref │ ├── j041c-link2.c │ ├── j041c-link2.c.ref │ ├── j041d-link1.c │ ├── j041d-link1.c.ref │ ├── j041d-link2.c │ ├── j041d-link2.c.ref │ ├── j042a.c │ ├── j042a.c.ref │ ├── j042b.c │ ├── j042b.c.ref │ ├── j043b.c │ ├── j043b.c.ref │ ├── j044a.c │ ├── j044a.c.ref │ ├── j044b.c │ ├── j044b.c.ref │ ├── j044c.c │ ├── j044c.c.ref │ ├── j045a.c │ ├── j045a.c.ref │ ├── j045b.c │ ├── j045b.c.ref │ ├── j047c.c │ ├── j047c.c.ref │ ├── j052a.c │ ├── j052a.c.ref │ ├── j052b.c │ ├── j052b.c.ref │ ├── j055a.c │ ├── j055a.c.ref │ ├── j055b.c │ ├── j055b.c.ref │ ├── j055c.c │ ├── j055c.c.ref │ ├── j055d.c │ ├── j055d.c.ref │ ├── j055e.c │ ├── j055e.c.ref │ ├── j056a.c │ ├── j056a.c.ref │ ├── j056b.c │ ├── j056b.c.ref │ ├── j056c.c │ ├── j056c.c.ref │ ├── j057a.c │ ├── j057a.c.ref │ ├── j057b.c │ ├── j057b.c.ref │ ├── j058a.c │ ├── j058a.c.ref │ ├── j058b.c │ ├── j058b.c.ref │ ├── j058c.c │ ├── j058c.c.ref │ ├── j058d.c │ ├── j058d.c.ref │ ├── j058e.c │ ├── j058e.c.ref │ ├── j059a.c │ ├── j059a.c.ref │ ├── j059b.c │ ├── j059b.c.ref │ ├── j059c.c │ ├── j059c.c.ref │ ├── j059d.c │ ├── j059d.c.ref │ ├── j059e.c │ ├── j059e.c.ref │ ├── j059f.c │ ├── j059f.c.ref │ ├── j060b.c │ ├── j060b.c.ref │ ├── j060d.c │ ├── j060d.c.ref │ ├── j061a.c │ ├── j061a.c.ref │ ├── j061b.c │ ├── j061b.c.ref │ ├── j061c.c │ ├── j061c.c.ref │ ├── j061d.c │ ├── j061d.c.ref │ ├── j062b.c │ ├── j062b.c.ref │ ├── j063a.c │ ├── j063a.c.ref │ ├── j063b.c │ ├── j063b.c.ref │ ├── j066a.c │ ├── j066a.c.ref │ ├── j066b.c │ ├── j066b.c.ref │ ├── j066c.c │ ├── j066c.c.ref │ ├── j066d.c │ ├── j066d.c.ref │ ├── j067a.c │ ├── j067a.c.ref │ ├── j067b.c │ ├── j067b.c.ref │ ├── j067c.c │ ├── j067c.c.ref │ ├── j067d.c │ ├── j067d.c.ref │ ├── j070a.c │ ├── j070a.c.ref │ ├── j072a.c │ ├── j072a.c.ref │ ├── j072b.c │ ├── j072b.c.ref │ ├── j073a-link1.c │ ├── j073a-link1.c.ref │ ├── j073a-link2.c │ ├── j073a-link2.c.ref │ ├── j074a.c │ ├── j074a.c.ref │ ├── j074b.c │ ├── j074b.c.ref │ ├── j074c.c │ ├── j074c.c.ref │ ├── j074d.c │ ├── j074d.c.ref │ ├── j076a.c │ ├── j076a.c.ref │ ├── j076b.c │ ├── j076b.c.ref │ ├── j076c.c │ ├── j076c.c.ref │ ├── j076d.c │ ├── j076d.c.ref │ ├── j076e.c │ ├── j076e.c.ref │ ├── j076f.c │ ├── j076f.c.ref │ ├── j076h.c │ ├── j076h.c.ref │ ├── j078a.c │ ├── j078a.c.ref │ ├── j078c.c │ ├── j078c.c.ref │ ├── j078d.c │ ├── j078d.c.ref │ ├── j078e.c │ ├── j078e.c.ref │ ├── j078f.c │ ├── j078f.c.ref │ ├── j078g.c │ ├── j078g.c.ref │ ├── j078h.c │ ├── j078h.c.ref │ ├── j078i.c │ ├── j078i.c.ref │ ├── j078j.c │ ├── j078j.c.ref │ ├── j078k.c │ ├── j078k.c.ref │ ├── j079a.c │ ├── j079a.c.ref │ ├── j079b.c │ ├── j079b.c.ref │ ├── j079c.c │ ├── j079c.c.ref │ ├── j079d.c │ ├── j079d.c.ref │ ├── j079e.c │ ├── j079e.c.ref │ ├── j079f.c │ ├── j079f.c.ref │ ├── j079g.c │ ├── j079g.c.ref │ ├── j079h.c │ ├── j079h.c.ref │ ├── j079i.c │ ├── j079i.c.ref │ ├── j081a.c │ ├── j081a.c.ref │ ├── j081b.c │ ├── j081b.c.ref │ ├── j082a.c │ ├── j082a.c.ref │ ├── j082b.c │ ├── j082b.c.ref │ ├── j083a.c │ ├── j083a.c.ref │ ├── j083b.c │ ├── j083b.c.ref │ ├── j083c.c │ ├── j083c.c.ref │ ├── j084a.c │ ├── j084a.c.ref │ ├── j084b.c │ ├── j084b.c.ref │ ├── j084c.c │ ├── j084c.c.ref │ ├── j084d.c │ ├── j084d.c.ref │ ├── j084e.c │ ├── j084e.c.ref │ ├── j084f-link1.c │ ├── j084f-link1.c.ref │ ├── j084f-link2.c │ ├── j084f-link2.c.ref │ ├── j085a.c │ ├── j085a.c.ref │ ├── j085b.c │ ├── j085b.c.ref │ ├── j085c.c │ ├── j085c.c.ref │ ├── j086a.c │ ├── j086a.c.ref │ ├── j086b.c │ ├── j086b.c.ref │ ├── j087a.c │ ├── j087a.c.ref │ ├── j089a.c │ ├── j089a.c.ref │ ├── j089b.c │ ├── j089b.c.ref │ ├── j089c.c │ ├── j089c.c.ref │ ├── j501a.c │ ├── j501a.c.ref │ ├── j501b.c │ ├── j501b.c.ref │ ├── j501c.c │ ├── j501c.c.ref │ ├── j501d.c │ ├── j501d.c.ref │ ├── j502a.c │ ├── j502a.c.ref │ ├── j502b.c │ ├── j502b.c.ref │ ├── j503a.c │ ├── j503a.c.ref │ ├── j504a.c │ ├── j504a.c.ref │ ├── j506a.c │ ├── j506a.c.ref │ ├── kcc_config │ ├── link-address-taken-not-called.c │ ├── link-referenced-from-main-function-ptr.c │ ├── link-referenced-from-main-function-ptr.c.ref │ ├── link-referenced-from-main-indirect.c │ ├── link-referenced-from-main-indirect.c.ref │ ├── link-referenced-from-main-not-called.c │ ├── link-referenced-from-main-not-called.c.ref │ ├── link-referenced-not-from-main.c │ ├── needsInclude.c │ ├── needsInclude.c.ref │ ├── new26.C │ ├── new26.C.ref │ ├── odr-destructor-in-aggregate-initialization.C.disabled │ ├── odr-destructor-in-aggregate-initialization.C.ref │ ├── odr-destructor-in-constructor.C.disabled │ ├── odr-destructor-in-constructor.C.ref │ ├── odr-destructor-new-arr.C.disabled │ ├── odr-destructor-new-arr.C.ref │ ├── odr-destructor-throw.C.disabled │ ├── odr-destructor-throw.C.ref │ ├── oldStyleParams.c │ ├── oldStyleParams.c.ref │ ├── paramStorage.c │ ├── paramStorage.c.ref │ ├── passArray.c │ ├── passArray.c.ref │ ├── proto.c │ ├── proto.c.ref │ ├── proto2.c │ ├── proto2.c.ref │ ├── redecl.c │ ├── redecl.c.ref │ ├── regehr-int-pointer-comparison.c │ ├── regehr-int-pointer-comparison.c.ref │ ├── static-assert.c │ ├── static-assert.c.ref │ ├── static-init-comma.c │ ├── static-init-comma.c.ref │ ├── subtraction-null.c │ ├── subtraction-null.c.ref │ ├── too-many-initializers.c │ ├── too-many-initializers.c.ref │ ├── xAddrStruct.c │ └── xAddrStruct.c.ref ├── unit-fail │ ├── 20000519-1.c │ ├── 20000519-1.c.ref │ ├── 20000603-1.c │ ├── 20000603-1.c.ref │ ├── 20031211-2.c │ ├── 20031211-2.c.ref │ ├── 20041113-1.c │ ├── 20041113-1.c.ref │ ├── 991016-1.c │ ├── 991016-1.c.ref │ ├── Makefile │ ├── at_quick_exit-bad.c │ ├── at_quick_exit-bad.c.ref │ ├── at_quick_exit-bad2.c │ ├── at_quick_exit-bad2.c.ref │ ├── atexit-bad.c │ ├── atexit-bad.c.ref │ ├── badUnion.c │ ├── badUnion.c.ref │ ├── badUnion2.c │ ├── badUnion2.c.ref │ ├── bitfieldAssign.c │ ├── bitfieldAssign.c.ref │ ├── bitfieldIndet.c │ ├── bitfieldIndet.c.ref │ ├── bounds3.c │ ├── bounds3.c.ref │ ├── bounds4.c │ ├── bounds4.c.ref │ ├── cast_struct_isomorphic.c │ ├── cast_struct_isomorphic.c.ref │ ├── cast_struct_same_prefix.c │ ├── cast_struct_same_prefix.c.ref │ ├── compareUnknown.c │ ├── compareUnknown.c.ref │ ├── compcertTSO-2.c │ ├── compcertTSO-2.c.ref │ ├── ctype.c │ ├── ctype.c.ref │ ├── cxx11-shift-2.C │ ├── cxx11-shift-2.C.ref │ ├── decls.c │ ├── decls.c.ref │ ├── deep-tail-call-1.C │ ├── deep-tail-call-1.C.ref │ ├── dereference.c │ ├── dereference.c.ref │ ├── effective_type_1.c │ ├── effective_type_1.c.ref │ ├── effective_type_10.c │ ├── effective_type_10.c.ref │ ├── effective_type_2.c │ ├── effective_type_2.c.ref │ ├── effective_type_3.c │ ├── effective_type_3.c.ref │ ├── effective_type_8.c │ ├── effective_type_8.c.ref │ ├── effective_type_9.c │ ├── effective_type_9.c.ref │ ├── effective_type_union_array.c │ ├── effective_type_union_array.c.ref │ ├── empty-lval.C │ ├── empty-lval.C.ref │ ├── errorInDoWhile.c │ ├── errorInDoWhile.c.ref │ ├── errorInFor.c │ ├── errorInFor.c.ref │ ├── failing │ │ ├── compare.c │ │ ├── j050a.c │ │ ├── j050a.c.ref │ │ └── j078b.c │ ├── floatToInt.c │ ├── floatToInt.c.ref │ ├── incompleteStruct-link1.c │ ├── incompleteStruct-link1.c.ref │ ├── incompleteStruct-link2.c │ ├── j009a.c │ ├── j009a.c.ref │ ├── j009b.c │ ├── j009b.c.ref │ ├── j009c.c │ ├── j009c.c.ref │ ├── j009d.c │ ├── j009d.c.ref │ ├── j009e.c │ ├── j009e.c.ref │ ├── j009g.c │ ├── j009g.c.ref │ ├── j009i.c │ ├── j009i.c.ref │ ├── j009j.c │ ├── j009j.c.ref │ ├── j010a.c │ ├── j010a.c.ref │ ├── j010b.c │ ├── j010b.c.ref │ ├── j010c.c │ ├── j010c.c.ref │ ├── j010d.c │ ├── j010d.c.ref │ ├── j010e.c │ ├── j010e.c.ref │ ├── j010f.c │ ├── j010f.c.ref │ ├── j011a.c │ ├── j011a.c.ref │ ├── j011b.c │ ├── j011b.c.ref │ ├── j012.c │ ├── j012.c.ref │ ├── j012a.c │ ├── j012a.c.ref │ ├── j013.c │ ├── j013.c.ref │ ├── j013a.c │ ├── j013a.c.ref │ ├── j017a.c │ ├── j017a.c.ref │ ├── j017c.c │ ├── j017c.c.ref │ ├── j018a.c │ ├── j018a.c.ref │ ├── j019b.c │ ├── j019b.c.ref │ ├── j019c.c │ ├── j019c.c.ref │ ├── j021.c │ ├── j021.c.ref │ ├── j021a.c │ ├── j021a.c.ref │ ├── j021b.c │ ├── j021b.c.ref │ ├── j021c.c │ ├── j021c.c.ref │ ├── j021d.c │ ├── j021d.c.ref │ ├── j021e.c │ ├── j021e.c.ref │ ├── j022a.c │ ├── j022a.c.ref │ ├── j024.c │ ├── j024.c.ref │ ├── j024a.c │ ├── j024a.c.ref │ ├── j025a.c │ ├── j025a.c.ref │ ├── j026a.c │ ├── j026a.c.ref │ ├── j026b.c │ ├── j026b.c.ref │ ├── j026c.c │ ├── j026c.c.ref │ ├── j033a.c │ ├── j033a.c.ref │ ├── j033b.c │ ├── j033b.c.ref │ ├── j033c.c │ ├── j033c.c.ref │ ├── j035a-nc.c │ ├── j035a-nc.c.ref │ ├── j035b-nc.c │ ├── j035b-nc.c.ref │ ├── j035c-nc.c │ ├── j035c-nc.c.ref │ ├── j035d-nc.c │ ├── j035d-nc.c.ref │ ├── j035e-nc.c │ ├── j035e-nc.c.ref │ ├── j035f-nc.c │ ├── j035f-nc.c.ref │ ├── j037a.c │ ├── j037a.c.ref │ ├── j037b.c │ ├── j037b.c.ref │ ├── j037c.c │ ├── j037c.c.ref │ ├── j037d.c │ ├── j037d.c.ref │ ├── j037e.c │ ├── j037e.c.ref │ ├── j037f.c │ ├── j037f.c.ref │ ├── j037g.c │ ├── j037g.c.ref │ ├── j037h.c │ ├── j037h.c.ref │ ├── j038a.c │ ├── j038a.c.ref │ ├── j038b.c │ ├── j038b.c.ref │ ├── j038c.c │ ├── j038c.c.ref │ ├── j039a.c │ ├── j039a.c.ref │ ├── j039b.c │ ├── j039b.c.ref │ ├── j039d-link1.c │ ├── j039d-link1.c.ref │ ├── j039d-link2.c │ ├── j040a.c │ ├── j040a.c.ref │ ├── j040b.c │ ├── j040b.c.ref │ ├── j040c.c │ ├── j040c.c.ref │ ├── j041a.c │ ├── j041a.c.ref │ ├── j043a.c │ ├── j043a.c.ref │ ├── j044d.c │ ├── j044d.c.ref │ ├── j045c.c │ ├── j045c.c.ref │ ├── j045d.c │ ├── j045d.c.ref │ ├── j045e.c │ ├── j045e.c.ref │ ├── j045f.c │ ├── j045f.c.ref │ ├── j046a.c │ ├── j046a.c.ref │ ├── j046b.c │ ├── j046b.c.ref │ ├── j046c.c │ ├── j046c.c.ref │ ├── j047a.c │ ├── j047a.c.ref │ ├── j047b.c │ ├── j047b.c.ref │ ├── j047d.c │ ├── j047d.c.ref │ ├── j048a.c │ ├── j048a.c.ref │ ├── j048b.c │ ├── j048b.c.ref │ ├── j049a.c │ ├── j049a.c.ref │ ├── j049b.c │ ├── j049b.c.ref │ ├── j049c.c │ ├── j049c.c.ref │ ├── j051a.c │ ├── j051a.c.ref │ ├── j051b.c │ ├── j051b.c.ref │ ├── j051c.c │ ├── j051c.c.ref │ ├── j051d.c │ ├── j051d.c.ref │ ├── j053a.c │ ├── j053a.c.ref │ ├── j053b.c │ ├── j053b.c.ref │ ├── j053c.c │ ├── j053c.c.ref │ ├── j054a.c │ ├── j054a.c.ref │ ├── j054b.c │ ├── j054b.c.ref │ ├── j054c.c │ ├── j054c.c.ref │ ├── j060c.c │ ├── j060c.c.ref │ ├── j062a.c │ ├── j062a.c.ref │ ├── j064a.c │ ├── j064a.c.ref │ ├── j064b.c │ ├── j064b.c.ref │ ├── j065a.c │ ├── j065a.c.ref │ ├── j065b.c │ ├── j065b.c.ref │ ├── j068a.c │ ├── j068a.c.ref │ ├── j068b.c │ ├── j068b.c.ref │ ├── j068c.c │ ├── j068c.c.ref │ ├── j069a.c │ ├── j069a.c.ref │ ├── j069b.c │ ├── j069b.c.ref │ ├── j069c.c │ ├── j069c.c.ref │ ├── j071a.c │ ├── j071a.c.ref │ ├── j071b.c │ ├── j071b.c.ref │ ├── j071c.c │ ├── j071c.c.ref │ ├── j075a.c │ ├── j075a.c.ref │ ├── j075b.c │ ├── j075b.c.ref │ ├── j077a.c │ ├── j077a.c.ref │ ├── j077b.c │ ├── j077b.c.ref │ ├── j077c.c │ ├── j077c.c.ref │ ├── j080a.c │ ├── j080a.c.ref │ ├── j088a.c │ ├── j088a.c.ref │ ├── j088b.c │ ├── j088b.c.ref │ ├── j108a.c │ ├── j108a.c.ref │ ├── j108b.c │ ├── j108b.c.ref │ ├── locale1.c │ ├── locale1.c.ref │ ├── locale2.c │ ├── locale2.c.ref │ ├── main-return-ptr.c │ ├── main-return-ptr.c.ref │ ├── padding-1.c │ ├── padding-1.c.ref │ ├── padding-2.c │ ├── padding-2.c.ref │ ├── pr28778.c │ ├── pr28778.c.ref │ ├── pr35634.C │ ├── pr35634.C.ref │ ├── pr36343.c │ ├── pr36343.c.ref │ ├── printf-o.c │ ├── printf-o.c.ref │ ├── printf-trap.c │ ├── printf-trap.c.ref │ ├── pta-field-2.c │ ├── pta-field-2.c.ref │ ├── setjmp-indet-auto.c │ ├── setjmp-indet-auto.c.ref │ ├── stdio-sscanf.c │ ├── stdio-sscanf.c.ref │ ├── stdio1.c │ ├── stdio1.c.ref │ ├── stdio2.c │ ├── stdio2.c.ref │ ├── stdlib1.c │ ├── stdlib1.c.ref │ ├── strcpy.c │ ├── strcpy.c.ref │ ├── string1.c │ ├── string1.c.ref │ ├── struct-aliasing-1.c │ ├── struct-aliasing-1.c.ref │ ├── union-alias.c │ ├── union-alias.c.ref │ ├── va-arg-20.c │ ├── va-arg-20.c.ref │ ├── va-arg-26.c │ ├── va-arg-26.c.ref │ ├── va_start-1.c │ ├── va_start-1.c.ref │ ├── va_start-2.c │ ├── va_start-2.c.ref │ ├── xrealloc1.c │ ├── xrealloc1.c.ref │ ├── xrealloc2.c │ ├── xrealloc2.c.ref │ ├── xrealloc3.c │ ├── xrealloc3.c.ref │ ├── xrealloc4.c │ ├── xrealloc4.c.ref │ ├── z00024.c │ ├── z00024.c.ref │ ├── z00024a.c │ ├── z00024a.c.ref │ ├── zero-pointer.c │ └── zero-pointer.c.ref └── unit-pass │ ├── 2-lots-of-funs.c │ ├── 20000112-1.c │ ├── 20000113-1.c │ ├── 20000121-1.c │ ├── 20000205-1.c │ ├── 20000217-1.c │ ├── 20000224-1.c │ ├── 20000225-1.c │ ├── 20000227-1.c │ ├── 20000313-1.c │ ├── 20000314-1.c │ ├── 20000314-2.c │ ├── 20000314-3.c │ ├── 20000402-1.c │ ├── 20000403-1.c │ ├── 20000412-1.c │ ├── 20000412-2.c │ ├── 20000412-3.c │ ├── 20000412-4.c │ ├── 20000412-5.c │ ├── 20000412-6.c │ ├── 20000419-1.c │ ├── 20000422-1.c │ ├── 20000503-1.c │ ├── 20000511-1.c │ ├── 20000519-2.c │ ├── 20000523-1.c │ ├── 20000605-1.c │ ├── 20000605-2.c │ ├── 20000605-3.c │ ├── 20000706-1.c │ ├── 20000706-2.c │ ├── 20000706-3.c │ ├── 20000706-4.c │ ├── 20000706-5.c │ ├── 20000707-1.c │ ├── 20000715-1.c │ ├── 20000717-1.c │ ├── 20000717-2.c │ ├── 20000717-3.c │ ├── 20000717-4.c │ ├── 20000717-5.c │ ├── 20000722-1.c │ ├── 20000726-1.c │ ├── 20000731-1.c │ ├── 20000731-2.c │ ├── 20000801-1.c │ ├── 20000801-2.c │ ├── 20000801-4.c │ ├── 20000808-1.c │ ├── 20000818-1.c │ ├── 20000819-1.c │ ├── 20000910-2.c │ ├── 20001011-1.c │ ├── 20001013-1.c │ ├── 20001017-1.c │ ├── 20001024-1.c │ ├── 20001027-1.c │ ├── 20001031-1.c │ ├── 20001108-1.c │ ├── 20001112-1.c │ ├── 20001121-1.c │ ├── 20001124-1.c │ ├── 20001130-1.c │ ├── 20001130-2.c │ ├── 20001203-1.c │ ├── 20001221-1.c │ ├── 20001228-1.c │ ├── 20001229-1.c │ ├── 20010106-1.c │ ├── 20010114-1.c │ ├── 20010116-1.c │ ├── 20010118-1.c │ ├── 20010119-1.c │ ├── 20010123-1.c │ ├── 20010129-1.c │ ├── 20010206-1.c │ ├── 20010221-1.c │ ├── 20010222-1.c │ ├── 20010224-1.c │ ├── 20010325-1.c │ ├── 20010403-1.c │ ├── 20010409-1.c │ ├── 20010422-1.c │ ├── 20010518-1.c │ ├── 20010518-2.c │ ├── 20010520-1.c │ ├── 20010604-1.c │ ├── 20010711-1.c │ ├── 20010717-1.c │ ├── 20010723-1.c │ ├── 20010910-1.c │ ├── 20010915-1.c │ ├── 20010925-1.c │ ├── 20011019-1.c │ ├── 20011024-1.c │ ├── 20011109-1.c │ ├── 20011109-2.c │ ├── 20011114-1.c │ ├── 20011115-1.c │ ├── 20011126-1.c │ ├── 20011126-2.c │ ├── 20011128-1.c │ ├── 20011217-1.c │ ├── 20011219-1.c │ ├── 20011223-1.c │ ├── 20020103-1.c │ ├── 20020118-1.c │ ├── 20020127-1.c │ ├── 20020129-1.c │ ├── 20020201-1.c │ ├── 20020206-2.c │ ├── 20020213-1.c │ ├── 20020215-1.c │ ├── 20020225-1.c │ ├── 20020225-2.c │ ├── 20020226-1.c │ ├── 20020307-1.c │ ├── 20020321-1.c │ ├── 20020328-1.c │ ├── 20020402-1.c │ ├── 20020402-2.c │ ├── 20020402-3.c │ ├── 20020404-1.c │ ├── 20020406-1.c │ ├── 20020413-1.c │ ├── 20020423-1.c │ ├── 20020503-1.c │ ├── 20020508-1.c │ ├── 20020510-1.c │ ├── 20020529-1.c │ ├── 20020611-1.c │ ├── 20020615-1.c │ ├── 20020716-1.c │ ├── 20020720-1.c │ ├── 20020805-1.c │ ├── 20020810-1.c │ ├── 20020819-1.c │ ├── 20020904-1.c │ ├── 20020911-1.c │ ├── 20020916-1.c │ ├── 20020920-1.c │ ├── 20021010-1.c │ ├── 20021015-1.c │ ├── 20021024-1.c │ ├── 20021111-1.c │ ├── 20021118-1.c │ ├── 20021118-2.c │ ├── 20021118-3.c │ ├── 20021119-1.c │ ├── 20021120-1.c │ ├── 20021120-2.c │ ├── 20021204-1.c │ ├── 20021219-1.c │ ├── 20030105-1.c │ ├── 20030117-1.c │ ├── 20030120-1.c │ ├── 20030120-2.c │ ├── 20030128-1.c │ ├── 20030203-1.c │ ├── 20030216-1.c │ ├── 20030224-2.c │ ├── 20030307-1.c │ ├── 20030313-1.c │ ├── 20030401-1.c │ ├── 20030403-1.c │ ├── 20030606-1.c │ ├── 20030613-1.c │ ├── 20030715-1.c │ ├── 20030718-1.c │ ├── 20030828-1.c │ ├── 20030828-2.c │ ├── 20030903-1.c │ ├── 20030909-1.c │ ├── 20030913-1.c │ ├── 20030914-1.c │ ├── 20030914-2.c │ ├── 20030916-1.c │ ├── 20030920-1.c │ ├── 20030928-1.c │ ├── 20031010-1.c │ ├── 20031011-1.c │ ├── 20031020-1.c │ ├── 20031201-1.c │ ├── 20031204-1.c │ ├── 20031211-1.c │ ├── 20031214-1.c │ ├── 20031215-1.c │ ├── 20031216-1.c │ ├── 20040218-1.c │ ├── 20040307-1.c │ ├── 20040309-1.c │ ├── 20040313-1.c │ ├── 20040319-1.c │ ├── 20040331-1.c │ ├── 20040411-1.c │ ├── 20040625-1.c │ ├── 20040629-1.c │ ├── 20040703-1.c │ ├── 20040704-1.c │ ├── 20040705-1.c │ ├── 20040705-2.c │ ├── 20040706-1.c │ ├── 20040707-1.c │ ├── 20040805-1.c │ ├── 20040820-1.c │ ├── 20040823-1.c │ ├── 20040917-1.c │ ├── 20041011-1.c │ ├── 20041019-1.c │ ├── 20041114-1.c │ ├── 20041126-1.c │ ├── 20041210-1.c │ ├── 20041213-2.c │ ├── 20050104-1.c │ ├── 20050106-1.c │ ├── 20050107-1.c │ ├── 20050111-1.c │ ├── 20050119-1.c │ ├── 20050119-2.c │ ├── 20050124-1.c │ ├── 20050131-1.c │ ├── 20050218-1.c │ ├── 20050410-1.c │ ├── 20050502-1.c │ ├── 20050502-2.c │ ├── 20050713-1.c │ ├── 20050826-2.c │ ├── 20050929-1.c │ ├── 20051012-1.c │ ├── 20051021-1.c │ ├── 20051104-1.c │ ├── 20051110-1.c │ ├── 20051110-2.c │ ├── 20051113-1.c │ ├── 20051215-1.c │ ├── 20060127-1.c │ ├── 20060412-1.c │ ├── 20060905-1.c │ ├── 20060910-1.c │ ├── 20060929-1.c │ ├── 20060930-1.c │ ├── 20061101-1.c │ ├── 20061101-2.c │ ├── 20070212-1.c │ ├── 20070212-2.c │ ├── 20070212-3.c │ ├── 20070424-1.c │ ├── 20070517-1.c │ ├── 20070623-1.c │ ├── 20070724-1.c │ ├── 20071011-1.c │ ├── 20071029-1.c │ ├── 20071202-1.c │ ├── 20071205-1.c │ ├── 20071213-1.c │ ├── 20071216-1.c │ ├── 20071219-1.c │ ├── 20080117-1.c │ ├── 20080408-1.c │ ├── 20080424-1.c │ ├── 20080506-1.c │ ├── 20080506-2.c │ ├── 20080519-1.c │ ├── 20080522-1.c │ ├── 20080604-1.c │ ├── 20080719-1.c │ ├── 20080813-1.c │ ├── 20081112-1.c │ ├── 20090207-1.c │ ├── 20090623-1.c │ ├── 20090711-1.c │ ├── 20090814-1.c │ ├── 20091229-1.c │ ├── 920202-1.c │ ├── 920409-1.c │ ├── 920410-1.c │ ├── 920429-1.c │ ├── 920501-1.c │ ├── 920506-1.c │ ├── 920520-1.c │ ├── 920603-1.c │ ├── 920604-1.c │ ├── 920618-1.c │ ├── 920625-1.c │ ├── 920710-1.c │ ├── 920721-1.c │ ├── 920721-2.c │ ├── 920721-3.c │ ├── 920731-1.c │ ├── 920810-1.c │ ├── 920812-1.c │ ├── 920829-1.c │ ├── 920908-1.c │ ├── 920909-1.c │ ├── 920929-1.c │ ├── 921006-1.c │ ├── 921013-1.c │ ├── 921019-1.c │ ├── 921019-2.c │ ├── 921110-1.c │ ├── 921112-1.c │ ├── 921113-1.c │ ├── 921117-1.c │ ├── 921123-1.c │ ├── 921123-2.c │ ├── 921124-1.c │ ├── 921202-2.c │ ├── 921204-1.c │ ├── 921207-1.c │ ├── 921208-1.c │ ├── 921208-2.c │ ├── 921218-1.c │ ├── 921218-2.c │ ├── 930106-1.c │ ├── 930111-1.c │ ├── 930123-1.c │ ├── 930408-1.c │ ├── 930429-1.c │ ├── 930513-2.c │ ├── 930518-1.c │ ├── 930526-1.c │ ├── 930527-1.c │ ├── 930603-1.c │ ├── 930603-2.c │ ├── 930603-3.c │ ├── 930608-1.c │ ├── 930614-1.c │ ├── 930614-2.c │ ├── 930621-1.c │ ├── 930622-1.c │ ├── 930622-2.c │ ├── 930628-1.c │ ├── 930630-1.c │ ├── 930702-1.c │ ├── 930713-1.c │ ├── 930725-1.c │ ├── 930818-1.c │ ├── 930929-1.c │ ├── 931004-1.c │ ├── 931004-10.c │ ├── 931004-11.c │ ├── 931004-12.c │ ├── 931004-13.c │ ├── 931004-14.c │ ├── 931004-2.c │ ├── 931004-3.c │ ├── 931004-4.c │ ├── 931004-5.c │ ├── 931004-6.c │ ├── 931004-7.c │ ├── 931004-8.c │ ├── 931004-9.c │ ├── 931005-1.c │ ├── 931009-1.c │ ├── 931012-1.c │ ├── 931017-1.c │ ├── 931018-1.c │ ├── 931102-1.c │ ├── 931102-2.c │ ├── 931110-1.c │ ├── 931110-2.c │ ├── 931208-1.c │ ├── 931228-1.c │ ├── 940122-1.c │ ├── 941025-1.c │ ├── 941031-1.c │ ├── 941101-1.c │ ├── 941110-1.c │ ├── 950322-1.c │ ├── 950426-1.c │ ├── 950503-1.c │ ├── 950511-1.c │ ├── 950512-1.c │ ├── 950605-1.c │ ├── 950607-1.c │ ├── 950607-2.c │ ├── 950621-1.c │ ├── 950628-1.c │ ├── 950706-1.c │ ├── 950714-1.c │ ├── 950809-1.c │ ├── 950915-1.c │ ├── 950929-1.c │ ├── 951003-1.c │ ├── 951115-1.c │ ├── 951204-1.c │ ├── 960117-1.c │ ├── 960209-1.c │ ├── 960215-1.c │ ├── 960218-1.c │ ├── 960219-1.c │ ├── 960301-1.c │ ├── 960302-1.c │ ├── 960311-1.c │ ├── 960311-2.c │ ├── 960311-3.c │ ├── 960321-1.c │ ├── 960326-1.c │ ├── 960402-1.c │ ├── 960419-1.c │ ├── 960419-2.c │ ├── 960513-1.c │ ├── 960801-1.c │ ├── 960802-1.c │ ├── 960830-1.c │ ├── 960909-1.c │ ├── 961004-1.c │ ├── 961017-1.c │ ├── 961026-1.c │ ├── 961112-1.c │ ├── 961122-1.c │ ├── 961122-2.c │ ├── 961125-1.c │ ├── 961206-1.c │ ├── 961213-1.c │ ├── 961223-1.c │ ├── 970214-1.c │ ├── 970214-2.c │ ├── 970923-1.c │ ├── 980205.c │ ├── 980223.c │ ├── 980424-1.c │ ├── 980505-1.c │ ├── 980505-2.c │ ├── 980506-1.c │ ├── 980506-2.c │ ├── 980526-3.c │ ├── 980602-1.c │ ├── 980602-2.c │ ├── 980604-1.c │ ├── 980608-1.c │ ├── 980612-1.c │ ├── 980618-1.c │ ├── 980707-1.c │ ├── 980709-1.c │ ├── 980929-1.c │ ├── 981001-1.c │ ├── 981019-1.c │ ├── 981130-1.c │ ├── 981206-1.c │ ├── 990106-1.c │ ├── 990106-2.c │ ├── 990117-1.c │ ├── 990127-1.c │ ├── 990127-2.c │ ├── 990128-1.c │ ├── 990211-1.c │ ├── 990222-1.c │ ├── 990404-1.c │ ├── 990513-1.c │ ├── 990524-1.c │ ├── 990525-1.c │ ├── 990525-2.c │ ├── 990527-1.c │ ├── 990531-1.c │ ├── 990604-1.c │ ├── 990628-1.c │ ├── 990804-1.c │ ├── 990811-1.c │ ├── 990826-0.c │ ├── 990827-1.c │ ├── 990829-1.c │ ├── 991019-1.c │ ├── 991023-1.c │ ├── 991030-1.c │ ├── 991112-1.c │ ├── 991201-1.c │ ├── 991202-1.c │ ├── 991202-2.c │ ├── 991202-3.c │ ├── 991216-1.c │ ├── 991216-2.c │ ├── 991216-4.c │ ├── 991221-1.c │ ├── 991227-1.c │ ├── Makefile │ ├── aggregate-1.C │ ├── aggregate-10.C │ ├── aggregate-11.C │ ├── aggregate-2.C │ ├── aggregate-3.C │ ├── aggregate-4.C │ ├── aggregate-5.C │ ├── aggregate-6.C │ ├── aggregate-7.C │ ├── aggregate-8.C │ ├── aggregate-9.C │ ├── aggregate-destruction.C │ ├── alias-class.C │ ├── alias.C │ ├── align-1.c │ ├── align-2.c │ ├── alignas.c │ ├── alignof2.C │ ├── anon-struct-compat-link1.c │ ├── anon-struct-compat-link2.c │ ├── anon-structs-0.c │ ├── anon-structs-1.c │ ├── anon-structs-2.c │ ├── anon-structs-3.c │ ├── anon-structs-4.c │ ├── anon-structs-5.c │ ├── anon-structs-6.c │ ├── anon-structs-7.c │ ├── anon1-2.C │ ├── argc.C │ ├── arith-1.c │ ├── array-aggregate-1.C │ ├── array-element-initializer-brace.c │ ├── array-init-1.C │ ├── array1.C │ ├── array4.C │ ├── array5.C │ ├── ashldi-1.c │ ├── atexit.c │ ├── auto-fn5.C │ ├── autoconf-stdbool.c │ ├── badUnion3.c │ ├── bf-layout-1.c │ ├── bf-sign-1.c │ ├── bind-rvref-2.C │ ├── bind-rvref.C │ ├── bitfld-1.c │ ├── bitfld-2.c │ ├── bitfld-4.c │ ├── bool1-2.C │ ├── bool1.C │ ├── bool3.C │ ├── brace-init-1.C │ ├── brace-init-2.C │ ├── brace-init-3.C │ ├── brace-init-4.C │ ├── brace-init-5.C │ ├── brace-init-6.C │ ├── brace-init-7.C │ ├── call-by-value.C │ ├── call-link-loc.c │ ├── call-trap-1.c │ ├── check.h │ ├── class-default-init.C │ ├── comma.c │ ├── comma1.C │ ├── compare-1.c │ ├── compare-2.c │ ├── compare-3.c │ ├── compat-array.c │ ├── complex-3.c │ ├── complit1.c │ ├── complit2.c │ ├── complit3.c │ ├── complit4.C │ ├── composite-fun.c │ ├── compound-asn1.C │ ├── cond1-3.C │ ├── cond5.C │ ├── cond6.C │ ├── conditional-nested.c │ ├── conditional-shortcircuit.c │ ├── const-addr-expr-1.c │ ├── const-array.c │ ├── constexpr-local.C │ ├── constexpr-wstring1.C │ ├── constexpr.C │ ├── constructor-1.C │ ├── conv2-2.C │ ├── copy-construction.C │ ├── cplusplus.C │ ├── ctor1.C │ ├── cvt-1.c │ ├── dbra-1.c │ ├── default-arg-1.C │ ├── default-arg-2.C │ ├── default-arg-3.C │ ├── default-arg-4.C │ ├── default-arg-5.C │ ├── default-arg-6.C │ ├── default-arg-class-1.C │ ├── default-arg-class-2.C │ ├── default-arg-class-3.C │ ├── default-arg-class-4.C │ ├── default-arg-class-5.C │ ├── default-arg-class-6.C │ ├── default-arg-class-7.C │ ├── defines.c │ ├── destruct-temporaries.C │ ├── destruct-thrown.C │ ├── direct-init-1.C │ ├── divcmp-1.c │ ├── divcmp-2.c │ ├── divcmp-4.c │ ├── divcmp-5.c │ ├── divconst-1.c │ ├── divconst-2.c │ ├── divconst-3.c │ ├── divmod-1.c │ ├── effective-malloc-imp-array.c │ ├── effective-type-of-union.c │ ├── effective_type_4.c │ ├── effective_type_5.c │ ├── effective_type_6.c │ ├── eh3.C │ ├── elaboratedTypeSpecifier.C │ ├── empty8.C │ ├── enum-1.c │ ├── enum-2.c │ ├── enum-3.c │ ├── enum-4.c │ ├── enum-5.c │ ├── enum-6.c │ ├── enum-copy-initialize.C │ ├── enum-empty.C │ ├── enum-in-block.C │ ├── enum-in-class.C │ ├── enum-local-scope.C │ ├── enum-offsetof.c │ ├── enum-operator.C │ ├── enum-ut.C │ ├── enum-values.C │ ├── enumerators.C │ ├── equality-1.c │ ├── extern-local-link1.c │ ├── extern-local-link2.c │ ├── extern-union-link1.c │ ├── extern-union-link2.c │ ├── extzvsi.c │ ├── failing │ ├── include-c-headers.C │ ├── nested-extern-1-link1.C │ ├── nested-extern-1-link2.C │ ├── nested-extern-2-link1.C │ ├── nested-extern-2-link2.C │ ├── self1.C │ ├── throw-1.C │ ├── throw-2.C │ ├── throw-3.C │ └── throw-4.C │ ├── fillInit-1.c │ ├── flex_array.c │ ├── flifetime-dse1.C │ ├── float-floor.c │ ├── float128.c │ ├── floatunsisf-1.c │ ├── fnname1.C │ ├── fopen-enoent.c │ ├── fptr-1.C │ ├── fsl-header.h │ ├── func-ptr-1.c │ ├── func-ptr-conditional.c │ ├── func-return-qual-ptr.c │ ├── functional-cast-1.C │ ├── functional-cast-2.C │ ├── functional-cast-3.C │ ├── functional-cast-4.C │ ├── g++ │ ├── 20040317-1.C │ ├── 20050511-1.C │ ├── 20100825.C │ ├── Makefile │ ├── Wliteral-suffix.C │ ├── addr-const1.C │ ├── addr1.C │ ├── aggr2.C │ ├── alias-decl-attr3.C │ ├── alias-decl-attr4.C │ ├── alias1-2.C │ ├── alias1.C │ ├── alias2.C │ ├── alias4.C │ ├── align1.C │ ├── alignof1.C │ ├── anchor1.C │ ├── anew1.C │ ├── anew2.C │ ├── anew3.C │ ├── anew4.C │ ├── anon1-link1.C │ ├── anon1-link2.C │ ├── anon3.C │ ├── arg6.C │ ├── arm-vfp-unwind.C │ ├── arm_cxa_vec1.C │ ├── arm_cxa_vec2.C │ ├── armv7m-1.C │ ├── array12.C │ ├── array13.C │ ├── array14.C │ ├── array15.C │ ├── array16.C │ ├── array18.C │ ├── array25.C │ ├── array33.C │ ├── array39.C │ ├── assign1-2.C │ ├── assign1.C │ ├── async-unwind1.C │ ├── auto-dtor1.C │ ├── auto-fn17.C │ ├── auto10.C │ ├── auto14.C │ ├── auto2.C │ ├── auto4.C │ ├── bad_array_new1.C │ ├── bad_array_new2.C │ ├── bases.C │ ├── bindings1.C │ ├── bitfield1-2.C │ ├── bitfield1-3.C │ ├── bitfield1.C │ ├── bitfield11.C │ ├── bitfield2-2.C │ ├── bitfield2.C │ ├── bitfield3.C │ ├── bitfield4.C │ ├── bitfield5.C │ ├── bitfield6.C │ ├── bitfield8.C │ ├── bitfield9-2.C │ ├── bitfield9.C │ ├── builtin-line1.C │ ├── builtin-location.C │ ├── byval1.C │ ├── call1.C │ ├── cast4.C │ ├── cdce3.C │ ├── check.h │ ├── cleanup1.C │ ├── complex8.C │ ├── complit12.C │ ├── cond1-2.C │ ├── cond1.C │ ├── cond12.C │ ├── cond4-2.C │ ├── cond4.C │ ├── conpr-1.C │ ├── const1-2.C │ ├── const1.C │ ├── const2.C │ ├── const3-2.C │ ├── const3.C │ ├── const6.C │ ├── constexpr-base3.C │ ├── constexpr-base4.C │ ├── constexpr-non-const-arg3.C │ ├── constexpr-static.C │ ├── constexpr-static3.C │ ├── constexpr-tuple.C │ ├── conv2.C │ ├── conv3.C │ ├── copy1-2.C │ ├── copy1.C │ ├── copy2.C │ ├── covariant-1.C │ ├── covariant1-2.C │ ├── covariant1.C │ ├── covariant17.C │ ├── covariant18.C │ ├── covariant2.C │ ├── covariant3-2.C │ ├── covariant3.C │ ├── covariant4-2.C │ ├── covariant4.C │ ├── covariant5.C │ ├── crossjump1.C │ ├── cse2.C │ ├── cse3.C │ ├── ctor1-2.C │ ├── ctor2-2.C │ ├── ctor2-3.C │ ├── ctor2.C │ ├── ctor7.C │ ├── cv1.C │ ├── cxx11-shift-1.C │ ├── dc5.C │ ├── dc6.C │ ├── decltype17.C │ ├── deduce1.C │ ├── deep-stack-uaf-1.C │ ├── defarg1.C │ ├── defarg8.C │ ├── default4.C │ ├── defaulted1.C │ ├── defaulted19.C │ ├── defaulted19a.C │ ├── defaulted22.C │ ├── defaulted45.C │ ├── delay-slot-1.C │ ├── delayslot1.C │ ├── delete2.C │ ├── destroy-return.C │ ├── devirt-1.C │ ├── devirt-13.C │ ├── devirt-14.C │ ├── devirt-2.C │ ├── devirt-21.C │ ├── devirt-23.C │ ├── devirt-29.C │ ├── devirt-3.C │ ├── devirt-4.C │ ├── devirt-5.C │ ├── devirt-6.C │ ├── devirt-7.C │ ├── devirt-c-1.C │ ├── devirt-c-2.C │ ├── devirt-c-3.C │ ├── devirt-c-4.C │ ├── devirt-c-5.C │ ├── devirt-c-6.C │ ├── devirt-c-7.C │ ├── devirt-c-8.C │ ├── devirt-d-1.C │ ├── dom-invalid.C │ ├── dr128.C │ ├── dr185.C │ ├── dr193.C │ ├── dr20.C │ ├── dtor1-2.C │ ├── dtor1-3.C │ ├── dtor1.C │ ├── dtor2-2.C │ ├── dtor2.C │ ├── dtor3-2.C │ ├── dtor4.C │ ├── dtor4.h │ ├── dyncast2.C │ ├── dyncast3.C │ ├── dyncast4.C │ ├── ef_test.C │ ├── eh-alloca-1.C │ ├── eh-fastcall-1.C │ ├── eh-global-1.C │ ├── eh-inline-1.C │ ├── eh-inline-2.C │ ├── eh-thiscall-1.C │ ├── eh-vararg-1.C │ ├── eh-vararg-2.C │ ├── eh2.C │ ├── eh4.C │ ├── ehopt1.C │ ├── elide1-2.C │ ├── elide1.C │ ├── elide2-2.C │ ├── elide2.C │ ├── empty1-2.C │ ├── empty1.C │ ├── empty11.C │ ├── empty4.C │ ├── enum1-2.C │ ├── enum1-3.C │ ├── enum1-4.C │ ├── enum1.C │ ├── enum2.C │ ├── enum3.C │ ├── enum_base_warn.C │ ├── expect1.C │ ├── explicit5.C │ ├── filter1.C │ ├── filter2.C │ ├── float1.C │ ├── fn-typedef1.C │ ├── fnname2.C │ ├── fnname3.C │ ├── fold2.C │ ├── fold3.C │ ├── for1.C │ ├── forced.C │ ├── forced1.C │ ├── forced2.C │ ├── forced3.C │ ├── forced4.C │ ├── fp-regs.C │ ├── friend10.C │ ├── friend18.C │ ├── friend2.C │ ├── friend8.C │ ├── gcov-1.C │ ├── gcov-12.C │ ├── gcov-14.C │ ├── gcov-2.C │ ├── gcov-4.C │ ├── gcov-5.C │ ├── gcov-8.C │ ├── goto1.C │ ├── has_nothrow_assign.C │ ├── has_nothrow_assign_odr.C │ ├── has_nothrow_constructor.C │ ├── has_nothrow_constructor_odr.C │ ├── has_nothrow_copy-1.C │ ├── has_nothrow_copy-2.C │ ├── has_nothrow_copy-3.C │ ├── has_nothrow_copy-4.C │ ├── has_nothrow_copy-5.C │ ├── has_nothrow_copy-6.C │ ├── has_nothrow_copy-7.C │ ├── has_nothrow_copy_odr.C │ ├── has_trivial_assign.C │ ├── has_trivial_constructor.C │ ├── has_trivial_copy.C │ ├── has_trivial_destructor-1.C │ ├── has_virtual_destructor.C │ ├── ia64-2.C │ ├── iinline-3.C │ ├── imm-devirt-1.C │ ├── imm-devirt-2.C │ ├── implicit2.C │ ├── implicit3.C │ ├── inh-ctor12.C │ ├── init-ref1.C │ ├── init-ref4.C │ ├── init-temp1.C │ ├── init2.C │ ├── init8.C │ ├── initlist-lifetime1.C │ ├── initlist-lifetime2.C │ ├── initlist-value.C │ ├── initlist-value2.C │ ├── initlist1.C │ ├── initlist18.C │ ├── initlist25.C │ ├── initlist46.C │ ├── initlist49.C │ ├── initlist53.C │ ├── initlist6.C │ ├── initlist86.C │ ├── inline9.C │ ├── interception-failure-test-1.C │ ├── is_abstract.C │ ├── is_base_of.C │ ├── is_class.C │ ├── is_empty.C │ ├── is_enum.C │ ├── is_pod.C │ ├── is_polymorphic.C │ ├── is_union.C │ ├── ivinline-1.C │ ├── ivinline-2.C │ ├── ivinline-3.C │ ├── ivinline-4.C │ ├── ivinline-5.C │ ├── ivinline-7.C │ ├── ivinline-8.C │ ├── ivinline-9.C │ ├── label13.C │ ├── label13a.C │ ├── lambda-array.C │ ├── lambda-capture-const-ref.C │ ├── lambda-const.C │ ├── lambda-const2.C │ ├── lambda-conv2.C │ ├── lambda-copy-default.C │ ├── lambda-copy.C │ ├── lambda-ctors.C │ ├── lambda-deduce-mult.C │ ├── lambda-deduce.C │ ├── lambda-eh2.C │ ├── lambda-generic-udt.C │ ├── lambda-generic-variadic.C │ ├── lambda-in-class.C │ ├── lambda-init1.C │ ├── lambda-init3.C │ ├── lambda-init4.C │ ├── lambda-init5.C │ ├── lambda-mixed.C │ ├── lambda-mutable.C │ ├── lambda-nested.C │ ├── lambda-non-const.C │ ├── lambda-nop.C │ ├── lambda-ns-scope.C │ ├── lambda-nsdmi1.C │ ├── lambda-nullptr.C │ ├── lambda-pass.C │ ├── lambda-recursive.C │ ├── lambda-ref-default.C │ ├── lambda-ref.C │ ├── lambda-ref2.C │ ├── lambda-std-function.C │ ├── lambda-template.C │ ├── lambda-template10.C │ ├── lambda-template4.C │ ├── lambda-this5.C │ ├── lambda-this8.C │ ├── lambda-variadic2.C │ ├── large-func-test-1.C │ ├── layout1.C │ ├── layout2.C │ ├── lifetime1.C │ ├── lifetime2.C │ ├── lifetime3.C │ ├── local1-link1.C │ ├── local1-link2.C │ ├── loop1-2.C │ ├── lval2.C │ ├── mem-partial2.C │ ├── member2.C │ ├── new │ │ ├── anonymous-class-1.C │ │ ├── default-arg-7.C │ │ ├── default-arg-class-8.C │ │ ├── default-arg-implicit-constructor-1.C │ │ ├── default-arg-implicit-constructor-2.C │ │ ├── default-arg-overload-1.C │ │ ├── default-arg-template-1.C │ │ ├── default-arg-template-2.C │ │ ├── default-arg-template-3.C │ │ └── nested-class-1.C │ ├── new1-2.C │ ├── new1.C │ ├── new11-2.C │ ├── new11.C │ ├── new16.C │ ├── new27.C │ ├── new28.C │ ├── new29.C │ ├── new31.C │ ├── new36.C │ ├── new39.C │ ├── new5.C │ ├── noexcept03.C │ ├── noexcept04.C │ ├── noexcept06.C │ ├── noexcept07.C │ ├── non-dependent1.C │ ├── nrv1.C │ ├── nrv10.C │ ├── nrv11.C │ ├── nrv13.C │ ├── nrv14.C │ ├── nrv17.C │ ├── nrv2.C │ ├── nrv3.C │ ├── nrv4.C │ ├── nrv5.C │ ├── nrv6.C │ ├── nrv8.C │ ├── nsdmi-eh1.C │ ├── nsdmi-template1.C │ ├── nsdmi-union1.C │ ├── nsdmi-virtual1.C │ ├── nsdmi1.C │ ├── nsdmi4.C │ ├── null1.C │ ├── nullptr13.C │ ├── nullptr20.C │ ├── offsetof.C │ ├── offsetof2.C │ ├── offsetof9.C │ ├── omit-frame-pointer.C │ ├── operator1.C │ ├── overload7.C │ ├── packed1-2.C │ ├── param1.C │ ├── partial1-2.C │ ├── partial1.C │ ├── placement2.C │ ├── pm1.C │ ├── pm3.C │ ├── pmf1.C │ ├── pr14029.C │ ├── pr15054-2.C │ ├── pr15054.C │ ├── pr15551.C │ ├── pr16372-1.C │ ├── pr16693-1.C │ ├── pr16693-2.C │ ├── pr18084-1.C │ ├── pr19317-1.C │ ├── pr19317-2.C │ ├── pr19317-3.C │ ├── pr19786.C │ ├── pr20458.C │ ├── pr21407.C │ ├── pr22167.C │ ├── pr23299.C │ ├── pr23478.C │ ├── pr28003.C │ ├── pr29066.C │ ├── pr29166.C │ ├── pr30252.C │ ├── pr30567.C │ ├── pr30590.C │ ├── pr33572.C │ ├── pr33604.C │ ├── pr33819.C │ ├── pr33887-1.C │ ├── pr33887-2.C │ ├── pr33887-3.C │ ├── pr34099.C │ ├── pr35504.C │ ├── pr36185.C │ ├── pr36187.C │ ├── pr36960.C │ ├── pr37146-1.C │ ├── pr37146-2.C │ ├── pr37862.C │ ├── pr37922.C │ ├── pr39188-1-link1.C │ ├── pr39188-1-link2.C │ ├── pr39188-1.h │ ├── pr39188-2-link1.C │ ├── pr39188-2-link2.C │ ├── pr39188-2.h │ ├── pr39188-3-link1.C │ ├── pr39188-3-link2.C │ ├── pr39188-3.h │ ├── pr39417.C │ ├── pr39678.C │ ├── pr40335.C │ ├── pr40389.C │ ├── pr40834.C │ ├── pr40924.C │ ├── pr41186.C │ ├── pr42130.C │ ├── pr42462.C │ ├── pr42508.C │ ├── pr43655.C │ ├── pr43784.C │ ├── pr43879-1-link1.C │ ├── pr43879-1-link2.C │ ├── pr44069.C │ ├── pr44492.C │ ├── pr44535.C │ ├── pr45699.C │ ├── pr45843.C │ ├── pr45934.C │ ├── pr46053.C │ ├── pr46149.C │ ├── pr46287-1.C │ ├── pr46287-2.C │ ├── pr46287-3.C │ ├── pr46287.C │ ├── pr46815.C │ ├── pr46984.C │ ├── pr47382.C │ ├── pr47541.C │ ├── pr47707.C │ ├── pr48661.C │ ├── pr48695.C │ ├── pr49039.C │ ├── pr49115.C │ ├── pr49394.C │ ├── pr49519.C │ ├── pr49770.C │ ├── pr50189.C │ ├── pr51759.C │ ├── pr52939.C │ ├── pr53364.C │ ├── pr55617.C │ ├── pr55665.C │ ├── pr55875.C │ ├── pr56999.C │ ├── pr57670.C │ ├── pr58708.C │ ├── pr59163.C │ ├── pr59470.C │ ├── pr59695.C │ ├── pr60640-3.C │ ├── pr60640-4.C │ ├── pr60750.C │ ├── pr60912.C │ ├── pr61085.C │ ├── pr61160-2.C │ ├── pr61160-3.C │ ├── pr61289-2.C │ ├── pr61289.C │ ├── pr62015.C │ ├── pr62017.C │ ├── pr63838.C │ ├── pr63841.C │ ├── pr64037.C │ ├── pr6713.C │ ├── pragma3.C │ ├── preinc1.C │ ├── pretty1.C │ ├── pretty2.C │ ├── profile1.C │ ├── ptrmem1.C │ ├── ptrmem18.C │ ├── ptrmem3.C │ ├── ptrmem4-2.C │ ├── ptrmem4.C │ ├── ptrmem6-link1.C │ ├── ptrmem6-link2.C │ ├── qual2.C │ ├── qualified-id2.C │ ├── qualttp16.C │ ├── range-for1.C │ ├── range-for12.C │ ├── range-for15.C │ ├── range-for4.C │ ├── range-for6.C │ ├── range-for7.C │ ├── range-test-1.C │ ├── range-test-2.C │ ├── ref12.C │ ├── ref15.C │ ├── ref16.C │ ├── ref19.C │ ├── ref4.C │ ├── ref9.C │ ├── reg-stack.C │ ├── regparm1.C │ ├── reload3.C │ ├── return-1.C │ ├── return-2.C │ ├── rtti1.C │ ├── rtti2.C │ ├── rv-array1.C │ ├── rv-cast3.C │ ├── rv9p.C │ ├── rvo.C │ ├── scope1.C │ ├── sfinae15.C │ ├── spbp.C │ ├── spec10-2.C │ ├── spec10.C │ ├── spec21.C │ ├── spec26.C │ ├── spec29.C │ ├── spec3.C │ ├── spec5.C │ ├── spec7.C │ ├── stack1.C │ ├── static-1-link1.C │ ├── static-1-link2.C │ ├── static2.C │ ├── static3.C │ ├── static5.C │ ├── static6.C │ ├── stdarg1.C │ ├── stmtexpr1.C │ ├── stmtexpr2.C │ ├── stmtexpr8.C │ ├── strength-reduce.C │ ├── symbolize-callback-1.C │ ├── synth2.C │ ├── temp1.C │ ├── temp2.C │ ├── template1-2.C │ ├── template1.C │ ├── tg-tests.h │ ├── thread_local-cse.C │ ├── thread_local-order1.C │ ├── thread_local-order2.C │ ├── thread_local10.C │ ├── thread_local2.C │ ├── thread_local2g.C │ ├── thread_local6.C │ ├── thread_local6g.C │ ├── thread_local9.C │ ├── thunk1-2.C │ ├── thunk1.C │ ├── thunk10.C │ ├── thunk2.C │ ├── thunk7.C │ ├── tmp1.C │ ├── tmplattr4.C │ ├── tmplattr5.C │ ├── two-stage1.C │ ├── two-stage5.C │ ├── type-generic-1.C │ ├── typeid10.C │ ├── typeid2.C │ ├── typeid4.C │ ├── typeid9.C │ ├── typeinfo1.C │ ├── ucnid-1.C │ ├── udlit-embed-quote.C │ ├── udlit-general.C │ ├── udlit-namespace.C │ ├── udlit-raw-op.C │ ├── udlit-template.C │ ├── uncaught1.C │ ├── uncaught4.C │ ├── underlying_type10.C │ ├── unexpected1.C │ ├── union1.C │ ├── union3.C │ ├── unroll1.C │ ├── unwind-direct.C │ ├── using1.C │ ├── using17.C │ ├── using2.C │ ├── using25.C │ ├── using27.C │ ├── using3.C │ ├── using33.C │ ├── using36.C │ ├── using37.C │ ├── using39.C │ ├── using4.C │ ├── using42.C │ ├── using44.C │ ├── using45.C │ ├── value1.C │ ├── value10.C │ ├── value3.C │ ├── value7.C │ ├── value9.C │ ├── variadic-bind.C │ ├── variadic-function.C │ ├── variadic-init.C │ ├── variadic-mem_fn.C │ ├── variadic-new.C │ ├── variadic-new2.C │ ├── variadic-tuple.C │ ├── variadic-value1.C │ ├── variadic68.C │ ├── variadic70.C │ ├── variadic73.C │ ├── variadic80.C │ ├── vbase1.C │ ├── vbase12.C │ ├── vbase13.C │ ├── vbase15.C │ ├── vbase8-10.C │ ├── vbase8-21.C │ ├── vbase8-22.C │ ├── vbase8-4.C │ ├── vcall1.C │ ├── virtual2.C │ ├── virtual5.C │ ├── virtual8.C │ ├── virtual9.C │ ├── vla-initlist1.C │ ├── vla15.C │ ├── vla2.C │ ├── vla4.C │ ├── vla9.C │ ├── vrp2.C │ ├── vrp3-link1.C │ ├── vrp3-link2.C │ ├── vrp3.h │ ├── vtable1.C │ └── vthunk1.C │ ├── gcov-10.C │ ├── gcov-11.C │ ├── gcov-13.C │ ├── gcov-15.C │ ├── gcov-3.C │ ├── gcov-3.h │ ├── gcov-7.C │ ├── gcsec1.C │ ├── generic.c │ ├── global-constexpr.C │ ├── gofast.c │ ├── goto-static.c │ ├── hello.C │ ├── hold-1.C │ ├── i386-9.C │ ├── ifcvt-onecmpl-abs-1.c │ ├── implicit-copy-constructor.C │ ├── inc-ref-link1.c │ ├── inc-ref-link2.c │ ├── include-time.C │ ├── incomplete-arr-init.c │ ├── incompleteArrayVariadic-link1.c │ ├── incompleteArrayVariadic-link2.c │ ├── incompleteStruct-link1.c │ ├── incompleteStruct-link2.c │ ├── index-1.c │ ├── init-ref2.C │ ├── initlist16.C │ ├── inst-check.c │ ├── int-compare.c │ ├── interface1-link1.C │ ├── interface1-link2.C │ ├── interface1.h │ ├── intermediate_base.C │ ├── ipa-sra-1.c │ ├── ipa-sra-2.c │ ├── issue-400.C │ ├── issue482.c │ ├── j004a.c │ ├── j004b.c │ ├── j004c.c │ ├── j004d.c │ ├── j008.c │ ├── j009.c │ ├── j010.c │ ├── j011.c │ ├── j014.c │ ├── j015.c │ ├── j015d-link1.c │ ├── j015d-link2.c │ ├── j016.c │ ├── j017.c │ ├── j018.c │ ├── j019.c │ ├── j020.c │ ├── j022.c │ ├── j023.c │ ├── j025.c │ ├── j025b.c │ ├── j026.c │ ├── j027.c │ ├── j032.c │ ├── j033.c │ ├── j035.c │ ├── j036.c │ ├── j037.c │ ├── j038.c │ ├── j039.c │ ├── j040.c │ ├── j041.c │ ├── j042.c │ ├── j043.c │ ├── j044.c │ ├── j045.c │ ├── j046.c │ ├── j047.c │ ├── j048.c │ ├── j049.c │ ├── j050.c │ ├── j051.c │ ├── j052.c │ ├── j053.c │ ├── j054.c │ ├── j055.c │ ├── j056.c │ ├── j057.c │ ├── j058.c │ ├── j059.c │ ├── j060.c │ ├── j060a.c │ ├── j061.c │ ├── j062.c │ ├── j063.c │ ├── j064.c │ ├── j065.c │ ├── j066.c │ ├── j067.c │ ├── j068.c │ ├── j069.c │ ├── j070.c │ ├── j071.c │ ├── j072.c │ ├── j073-link1.c │ ├── j073-link2.c │ ├── j074.c │ ├── j075.c │ ├── j076.c │ ├── j077.c │ ├── j078.c │ ├── j079.c │ ├── j080.c │ ├── j081.c │ ├── j082.c │ ├── j083.c │ ├── j084-link1.c │ ├── j084-link2.c │ ├── j085.c │ ├── j086.c │ ├── j087.c │ ├── j088.c │ ├── j089.c │ ├── j090a.c │ ├── j108a.c │ ├── j108b.c │ ├── j500a.c │ ├── j501a.c │ ├── j501b.c │ ├── j501c.c │ ├── j501d.c │ ├── j502a.c │ ├── j502b.c │ ├── j503a.c │ ├── j504a.c │ ├── j506a.c │ ├── l-ccve2.c │ ├── large-struct.c │ ├── lhole.c │ ├── link-not-referenced.c │ ├── list-init-1.C │ ├── llvm-FarJump.c │ ├── llvm-InlineSetjmp.c │ ├── llvm-Looping.c │ ├── llvm-MultipleSetjmp.c │ ├── llvm-SimpleCTest.c │ ├── llvm-WhileLoop.c │ ├── local-static-goto.c │ ├── local-struct.c │ ├── longjump.c │ ├── longlong.c │ ├── loop-1.c │ ├── loop-10.c │ ├── loop-11.c │ ├── loop-12.c │ ├── loop-13.c │ ├── loop-14.c │ ├── loop-2b.c │ ├── loop-3c.c │ ├── loop-4.c │ ├── loop-4b.c │ ├── loop-5.c │ ├── loop-7.c │ ├── loop-8.c │ ├── loop-9.c │ ├── loop-ivopts-1.c │ ├── loop-ivopts-2.c │ ├── loop1.C │ ├── loop2.C │ ├── lshrdi-1.c │ ├── lvalue-conditional.c │ ├── malloc-large.c │ ├── mangle-ctor-dtor.C │ ├── mangle2.C │ ├── mem-init-1.C │ ├── member-function-1.C │ ├── member-function-2.C │ ├── member-function-3.C │ ├── member-function-4.C │ ├── member-function-5.C │ ├── memcmp.c │ ├── mod-1.c │ ├── namespace.C │ ├── namespace2.C │ ├── negative-wrap.c │ ├── nested-switch.c │ ├── nested-union.c │ ├── nested_class_static_member.C │ ├── new23.C │ ├── new41.C │ ├── nns-1.C │ ├── nns-2.C │ ├── nsdmi-defer4.C │ ├── nullptr.C │ ├── nullptr21.C │ ├── nullptr28.C │ ├── offsetof-1.c │ ├── oldstyle-main.c │ ├── opaque-enum.C │ ├── oper1.C │ ├── overload-bool.C │ ├── overload-ref.C │ ├── overloaded-constructor.C │ ├── overloading.C │ ├── p18298.c │ ├── packed-1.c │ ├── packed-2.c │ ├── packed-bitfield.c │ ├── pending-4.c │ ├── pointer-align.c │ ├── posix-source.c │ ├── pr15262-1.c │ ├── pr15262-2.c │ ├── pr15262.c │ ├── pr17078-1.c │ ├── pr17697-1.C │ ├── pr17697-2.C │ ├── pr17697-3.C │ ├── pr19005.c │ ├── pr19515.c │ ├── pr19606.c │ ├── pr19689.c │ ├── pr20100-1.c │ ├── pr20187-1.c │ ├── pr20466-1.c │ ├── pr20527-1.c │ ├── pr20601-1.c │ ├── pr21331.c │ ├── pr21964-1.c │ ├── pr22348.c │ ├── pr22429.c │ ├── pr22630.c │ ├── pr23604.c │ ├── pr23941.c │ ├── pr24141.c │ ├── pr24142.c │ ├── pr24716.c │ ├── pr24851.c │ ├── pr25737.c │ ├── pr26757.C │ ├── pr27073.c │ ├── pr27260.c │ ├── pr27285.c │ ├── pr27364.c │ ├── pr27671-1.c │ ├── pr28289.c │ ├── pr28403.c │ ├── pr29006.c │ ├── pr29156.c │ ├── pr29797-1.c │ ├── pr29797-2.c │ ├── pr29798.c │ ├── pr30185.c │ ├── pr31072.c │ ├── pr31136.c │ ├── pr31169.c │ ├── pr32500.c │ ├── pr33142.c │ ├── pr33631.c │ ├── pr33669.c │ ├── pr33779-1.c │ ├── pr33779-2.c │ ├── pr33992.c │ ├── pr34130.c │ ├── pr34235.C │ ├── pr34415.c │ ├── pr34768-1.c │ ├── pr34768-2.c │ ├── pr34982.c │ ├── pr35163.c │ ├── pr35231.c │ ├── pr35472.c │ ├── pr35800.c │ ├── pr36034-1.c │ ├── pr36034-2.c │ ├── pr36077.c │ ├── pr36093.c │ ├── pr36449.C │ ├── pr36691.c │ ├── pr37102.c │ ├── pr37125.c │ ├── pr37931.c │ ├── pr38048-1.c │ ├── pr38048-2.c │ ├── pr38236.c │ ├── pr38422.c │ ├── pr38747.C │ ├── pr38819.c │ ├── pr39002.C │ ├── pr39100.c │ ├── pr39120.c │ ├── pr39501.c │ ├── pr40057.c │ ├── pr40404.c │ ├── pr40579.c │ ├── pr40747.c │ ├── pr41317.c │ ├── pr41750.c │ ├── pr42006.c │ ├── pr42142.c │ ├── pr42154.c │ ├── pr42231.c │ ├── pr42512.c │ ├── pr42721.c │ ├── pr42833.c │ ├── pr43236.c │ ├── pr43269.c │ ├── pr43438.c │ ├── pr43783.c │ ├── pr43835.c │ ├── pr44164.c │ ├── pr44202-1.c │ ├── pr44575.c │ ├── pr44942.c │ ├── pr45070.c │ ├── pr46019.c │ ├── pr53970.C │ ├── pr56837.C │ ├── pr597.c │ ├── pr7503-1.C │ ├── pragma-gcc.c │ ├── pragmapack.c │ ├── printf-alt.c │ ├── printf-field-width-hex.c │ ├── printf-field-width-oct.c │ ├── printf-field-width-unsigned.c │ ├── printf-field-width.c │ ├── printf.c │ ├── pta-field-1.c │ ├── pthreads-starve.c │ ├── ptrintsum1.C │ ├── ptrmem2.C │ ├── ptrmem8.C │ ├── pure-1.c │ ├── pushpop_macro.C │ ├── qualified-array.c │ ├── qualified-class-member.C │ ├── qualified-nested-assignment.c │ ├── r06080503.c │ ├── redeclaration1.C │ ├── ref-addressof.C │ ├── ref20.C │ ├── reference-binding-1.C │ ├── reference-binding-2.C │ ├── reference-binding-3.C │ ├── reference-binding-4.C │ ├── regehr-int-pointer-comparison.c │ ├── registers1.C │ ├── regstack-1.c │ ├── restrict-1.c │ ├── resulting-type-of-relational-operators.C │ ├── return-compound-assign.C │ ├── return-struct.C │ ├── rv-reinterpret.C │ ├── rvref-member-access.C │ ├── scope-1.c │ ├── self-pointer.c │ ├── shiftdi.c │ ├── sizeof-is-prval.C │ ├── sizeof-struct.c │ ├── sizeofVLA.c │ ├── smallTwofile-link1.c │ ├── smallTwofile-link2.c │ ├── spec9.C │ ├── specifier.c │ ├── static-assert.c │ ├── static-cast-1.C │ ├── static-member-1.C │ ├── static-member-2.C │ ├── static-member-3.C │ ├── static-member-4-link1.C │ ├── static-member-4-link2.C │ ├── static-member-4.H │ ├── static-member-function-0.C │ ├── static-member-function-1.C │ ├── static-member-function-2.C │ ├── static-member-function-3.C │ ├── static-ref.C │ ├── static_cast-rvref.C │ ├── stdarg-1.c │ ├── stdarg-2.c │ ├── stdarg-4.c │ ├── stdio-bug10.c │ ├── stdio-bug11.c │ ├── stdio-bug12.c │ ├── stdio-bug17.c │ ├── stdio-bug18.c │ ├── stdio-bug19.c │ ├── stdio-bug2.c │ ├── stdio-bug20.c │ ├── stdio-bug3.c │ ├── stdio-bug5.c │ ├── stdio-bug6.c │ ├── stdio-bug7.c │ ├── stdio-bug8.c │ ├── stdio-bug9.c │ ├── stdio-ferror.c │ ├── stdio-fgets.c │ ├── stdio-fileno.c │ ├── stdio-fseek.c │ ├── stdio-fwrite.c │ ├── stdio-scanf-flush.c │ ├── stdio-scanf1.c │ ├── stdio-scanf11.c │ ├── stdio-scanf12.c │ ├── stdio-scanf15.c │ ├── stdio-scanf2.c │ ├── stdio-scanf3.c │ ├── stdio-scanf4.c │ ├── stdio-scanf5.c │ ├── stdio-scanf8.c │ ├── stdio-scanf9.c │ ├── stdio-sprintf2.c │ ├── stdio-sprintf3.c │ ├── stdio-sscanf2.c │ ├── stdio-temptest.c │ ├── stdio-unbputc.c │ ├── stdio-ungetc.c │ ├── stmtexpr6.C │ ├── strct-pack-1.c │ ├── strct-pack-2.c │ ├── strct-pack-3.c │ ├── strct-pack-4.c │ ├── strct-stdarg-1.c │ ├── strct-varg-1.c │ ├── string-opt-17.c │ ├── string-opt-5.c │ ├── struct-compat-link1.c │ ├── struct-compat-link2.c │ ├── struct-cpy-1.c │ ├── struct-def-1.c │ ├── struct-ini-1.c │ ├── struct-ini-2.c │ ├── struct-ini-3.c │ ├── struct-ini-4.c │ ├── struct-ret-2.c │ ├── struct-size-1.c │ ├── struct-size-2.c │ ├── switch-1.c │ ├── switch-2.c │ ├── switch-continue.c │ ├── template-link1.C │ ├── template-link2.C │ ├── trivial.C │ ├── try-1.C │ ├── try-2.C │ ├── try-3.C │ ├── try-4.C │ ├── two_bases.C │ ├── two_middle_bases.C │ ├── typedefs.C │ ├── typeof-1.c │ ├── typeof-call.c │ ├── union-1.C │ ├── union-2.C │ ├── union-3.C │ ├── union-4.C │ ├── union-size-1.c │ ├── union-size-2.c │ ├── universal-character.c │ ├── unroll-1.c │ ├── unsigned-overflow-add.c │ ├── unsigned-overflow-not.c │ ├── unspec-sub.c │ ├── using-1.C │ ├── usmul.c │ ├── utf-type.C │ ├── utf16-1.C │ ├── utf16-2.C │ ├── utf16-3.C │ ├── utf32-1.C │ ├── utf32-2.C │ ├── utf32-3.C │ ├── va-arg-1.c │ ├── va-arg-10.c │ ├── va-arg-11.c │ ├── va-arg-12.c │ ├── va-arg-13.c │ ├── va-arg-15.c │ ├── va-arg-16.c │ ├── va-arg-17.c │ ├── va-arg-18.c │ ├── va-arg-19.c │ ├── va-arg-2.c │ ├── va-arg-23.c │ ├── va-arg-24.c │ ├── va-arg-4.c │ ├── va-arg-5.c │ ├── va-arg-6.c │ ├── va-arg-7.c │ ├── va-arg-8.c │ ├── va-arg-9.c │ ├── va-arg-trap-1.c │ ├── valueinit-void.C │ ├── virtual-function-1.C │ ├── virtual-function-2.C │ ├── virtual-function-3.C │ ├── virtual-function-4.C │ ├── vrp-1.c │ ├── vrp-2.c │ ├── vrp-3.c │ ├── vrp-4.c │ ├── vrp-5.c │ ├── vrp-6.c │ ├── vsnprintf.c │ ├── widechar-1.c │ ├── widechar-2.c │ ├── write_union_same_prefix_visible.c │ ├── xAddrStruct.c │ ├── xrealloc1.c │ ├── xrealloc2.c │ ├── xrealloc3.c │ ├── xrealloc4.c │ ├── zero-bit-field.c │ ├── zeroinit-class-class-member.C │ ├── zeroinit-class-padding.C │ ├── zeroinit-class-with-array.C │ ├── zeroinit-class-with-array2.C │ ├── zeroinit.C │ ├── zeroinit_base_classes.C │ └── zerolen-1.c └── verification ├── annotation.k ├── int_set.k └── tree_pattern.k /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/.gitmodules -------------------------------------------------------------------------------- /C18.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/C18.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/Dockerfile -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/INSTALL.md -------------------------------------------------------------------------------- /Jenkinsfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/Jenkinsfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/README.md -------------------------------------------------------------------------------- /clang-tools/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /clang-tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/clang-tools/CMakeLists.txt -------------------------------------------------------------------------------- /examples/c/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/examples/c/README.md -------------------------------------------------------------------------------- /examples/c/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/examples/c/demo/README.md -------------------------------------------------------------------------------- /examples/c/error-codes/lint/L-EIOE1-good.c: -------------------------------------------------------------------------------- 1 | int x = 0; 2 | 3 | int main() { 4 | return x; 5 | } 6 | -------------------------------------------------------------------------------- /examples/c/error-codes/lint/L-RESTRICT1-bad.output: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/c/error-codes/undefined/UB-TDR3-bad-static.c: -------------------------------------------------------------------------------- 1 | int main[] = {195}; 2 | -------------------------------------------------------------------------------- /examples/c/error-codes/undefined/UB-TDR3-good.c: -------------------------------------------------------------------------------- 1 | int main() {} 2 | -------------------------------------------------------------------------------- /examples/c/error-codes/violates-constraint/fatal/kcc_config: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /licenses/LICENSE-CDECL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/licenses/LICENSE-CDECL -------------------------------------------------------------------------------- /native-server/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/native-server/README.md -------------------------------------------------------------------------------- /native-server/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/native-server/main.c -------------------------------------------------------------------------------- /native-server/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/native-server/platform.h -------------------------------------------------------------------------------- /native-server/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/native-server/server.c -------------------------------------------------------------------------------- /native-server/server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/native-server/server.h -------------------------------------------------------------------------------- /parser/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/Makefile -------------------------------------------------------------------------------- /parser/cabs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/cabs.ml -------------------------------------------------------------------------------- /parser/cabsDriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/cabsDriver.ml -------------------------------------------------------------------------------- /parser/cabshelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/cabshelper.ml -------------------------------------------------------------------------------- /parser/clexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/clexer.mll -------------------------------------------------------------------------------- /parser/cparser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/cparser.mly -------------------------------------------------------------------------------- /parser/errormsg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/errormsg.ml -------------------------------------------------------------------------------- /parser/escape.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/escape.ml -------------------------------------------------------------------------------- /parser/frontc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/frontc.ml -------------------------------------------------------------------------------- /parser/growArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/growArray.ml -------------------------------------------------------------------------------- /parser/kPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/kPrinter.ml -------------------------------------------------------------------------------- /parser/lexerhack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/lexerhack.ml -------------------------------------------------------------------------------- /parser/longarray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/longarray.ml -------------------------------------------------------------------------------- /parser/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/test.c -------------------------------------------------------------------------------- /parser/whitetrack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/parser/whitetrack.ml -------------------------------------------------------------------------------- /profiles/no-hwa: -------------------------------------------------------------------------------- 1 | hardwareAddresses(.K) -------------------------------------------------------------------------------- /profiles/x86-gcc-limited-libc/cc: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | gcc "$@" 3 | -------------------------------------------------------------------------------- /profiles/x86-gcc-limited-libc/compiler-src/builtintypes.C: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /profiles/x86-gcc-limited-libc/cxx: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | g++ "$@" 3 | -------------------------------------------------------------------------------- /profiles/x86-gcc-limited-libc/native/builtins.c: -------------------------------------------------------------------------------- 1 | void __kcc_breakpoint(void) { } 2 | -------------------------------------------------------------------------------- /scripts/RV_Kcc/Files.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/RV_Kcc/Files.pm -------------------------------------------------------------------------------- /scripts/RV_Kcc/Opts.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/RV_Kcc/Opts.pm -------------------------------------------------------------------------------- /scripts/RV_Kcc/Shell.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/RV_Kcc/Shell.pm -------------------------------------------------------------------------------- /scripts/build-logger.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/build-logger.sh -------------------------------------------------------------------------------- /scripts/cdecl-3.6.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/cdecl-3.6.tar.gz -------------------------------------------------------------------------------- /scripts/checkForModules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/checkForModules.pl -------------------------------------------------------------------------------- /scripts/docker-build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/docker-build -------------------------------------------------------------------------------- /scripts/gccsymdump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/gccsymdump -------------------------------------------------------------------------------- /scripts/getopt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/getopt.pl -------------------------------------------------------------------------------- /scripts/globalize-syms: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/globalize-syms -------------------------------------------------------------------------------- /scripts/histogram-csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/histogram-csv -------------------------------------------------------------------------------- /scripts/ignored-flags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/ignored-flags -------------------------------------------------------------------------------- /scripts/k++: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/k++ -------------------------------------------------------------------------------- /scripts/kcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/kcc -------------------------------------------------------------------------------- /scripts/kranlib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/kranlib -------------------------------------------------------------------------------- /scripts/logger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/logger -------------------------------------------------------------------------------- /scripts/make-symbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/make-symbols -------------------------------------------------------------------------------- /scripts/make-trampolines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/make-trampolines -------------------------------------------------------------------------------- /scripts/merge-kcc-obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/merge-kcc-obj -------------------------------------------------------------------------------- /scripts/please: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/please -------------------------------------------------------------------------------- /scripts/please.d/modgen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/please.d/modgen.sh -------------------------------------------------------------------------------- /scripts/program-runner: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/program-runner -------------------------------------------------------------------------------- /scripts/rid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/rid -------------------------------------------------------------------------------- /scripts/split-kcc-obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/split-kcc-obj -------------------------------------------------------------------------------- /scripts/testInstall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/testInstall.pl -------------------------------------------------------------------------------- /scripts/writelong.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/scripts/writelong.c -------------------------------------------------------------------------------- /semantics/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/Makefile -------------------------------------------------------------------------------- /semantics/c-cpp-linking.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c-cpp-linking.k -------------------------------------------------------------------------------- /semantics/c-cpp.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c-cpp.k -------------------------------------------------------------------------------- /semantics/c-translation.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c-translation.k -------------------------------------------------------------------------------- /semantics/c/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/README.md -------------------------------------------------------------------------------- /semantics/c/library/ctype.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/ctype.k -------------------------------------------------------------------------------- /semantics/c/library/io.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/io.k -------------------------------------------------------------------------------- /semantics/c/library/math.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/math.k -------------------------------------------------------------------------------- /semantics/c/library/stdio.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/stdio.k -------------------------------------------------------------------------------- /semantics/c/library/time.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/time.k -------------------------------------------------------------------------------- /semantics/c/library/types.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/library/types.k -------------------------------------------------------------------------------- /semantics/c/linking.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/c/linking.k -------------------------------------------------------------------------------- /semantics/common/bits.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/bits.k -------------------------------------------------------------------------------- /semantics/common/builtin.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/builtin.k -------------------------------------------------------------------------------- /semantics/common/common.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/common.k -------------------------------------------------------------------------------- /semantics/common/compat.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/compat.k -------------------------------------------------------------------------------- /semantics/common/error.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/error.k -------------------------------------------------------------------------------- /semantics/common/init.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/init.k -------------------------------------------------------------------------------- /semantics/common/memory.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/memory.k -------------------------------------------------------------------------------- /semantics/common/options.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/options.k -------------------------------------------------------------------------------- /semantics/common/settings.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/settings.k -------------------------------------------------------------------------------- /semantics/common/symloc.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/symloc.k -------------------------------------------------------------------------------- /semantics/common/syntax.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/common/syntax.k -------------------------------------------------------------------------------- /semantics/cpp-translation.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/cpp-translation.k -------------------------------------------------------------------------------- /semantics/cpp/library/new.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/cpp/library/new.k -------------------------------------------------------------------------------- /semantics/cpp/linking.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/cpp/linking.k -------------------------------------------------------------------------------- /semantics/linking/error.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/linking/error.k -------------------------------------------------------------------------------- /semantics/linking/init.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/semantics/linking/init.k -------------------------------------------------------------------------------- /setup/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/README.md -------------------------------------------------------------------------------- /setup/fedora-28/Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/fedora-28/Vagrantfile -------------------------------------------------------------------------------- /setup/fedora-28/platform.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/fedora-28/platform.sh -------------------------------------------------------------------------------- /setup/scripts/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/scripts/bootstrap.sh -------------------------------------------------------------------------------- /setup/scripts/env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/scripts/env.sh -------------------------------------------------------------------------------- /setup/scripts/settings.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/setup/scripts/settings.sh -------------------------------------------------------------------------------- /setup/ubuntu-18.04/platform.sh: -------------------------------------------------------------------------------- 1 | ../ubuntu-16.04/platform.sh -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/check-results.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/check-results.mk -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004a.c: -------------------------------------------------------------------------------- 1 | float main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004b.c: -------------------------------------------------------------------------------- 1 | int main(int n){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004c.c: -------------------------------------------------------------------------------- 1 | int _main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004d.c: -------------------------------------------------------------------------------- 1 | void main(void){ 2 | 3 | } 4 | 5 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004e.c: -------------------------------------------------------------------------------- 1 | int main(float x, char** y){ 2 | } 3 | 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004f.c: -------------------------------------------------------------------------------- 1 | int main(int x, float* y){ 2 | 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j004h.c: -------------------------------------------------------------------------------- 1 | int main(int x){ } 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j020c-link2.c: -------------------------------------------------------------------------------- 1 | struct foo { 2 | int bar; 3 | } x; 4 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j027a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 'x 3 | '; 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j027b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | "x 3 | "; 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j041b-link2.c: -------------------------------------------------------------------------------- 1 | int f(void) { return 0; } 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j041c-link2.c: -------------------------------------------------------------------------------- 1 | int f(int *p) { return 0; } 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j041d-link2.c: -------------------------------------------------------------------------------- 1 | int f(int **p) { return 0; } 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j055b.c: -------------------------------------------------------------------------------- 1 | enum e {a = 5.5}; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j055c.c: -------------------------------------------------------------------------------- 1 | int x; 2 | enum e {a = x}; 3 | int main(void){ 4 | 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j055d.c: -------------------------------------------------------------------------------- 1 | int a[5.5]; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j073a-link2.c: -------------------------------------------------------------------------------- 1 | _Alignas(8) int x; 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j084f-link2.c: -------------------------------------------------------------------------------- 1 | int x = 1; 2 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/j503a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[0]; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /tests/unit-fail-compilation/kcc_config: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit-fail/991016-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/991016-1.c -------------------------------------------------------------------------------- /tests/unit-fail/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/Makefile -------------------------------------------------------------------------------- /tests/unit-fail/badUnion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/badUnion.c -------------------------------------------------------------------------------- /tests/unit-fail/badUnion2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/badUnion2.c -------------------------------------------------------------------------------- /tests/unit-fail/bounds3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/bounds3.c -------------------------------------------------------------------------------- /tests/unit-fail/bounds4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/bounds4.c -------------------------------------------------------------------------------- /tests/unit-fail/ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/ctype.c -------------------------------------------------------------------------------- /tests/unit-fail/ctype.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/ctype.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/decls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/decls.c -------------------------------------------------------------------------------- /tests/unit-fail/decls.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/decls.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009a.c -------------------------------------------------------------------------------- /tests/unit-fail/j009a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009b.c -------------------------------------------------------------------------------- /tests/unit-fail/j009b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009c.c -------------------------------------------------------------------------------- /tests/unit-fail/j009c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009d.c -------------------------------------------------------------------------------- /tests/unit-fail/j009d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009e.c -------------------------------------------------------------------------------- /tests/unit-fail/j009e.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009e.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009g.c -------------------------------------------------------------------------------- /tests/unit-fail/j009g.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009g.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009i.c -------------------------------------------------------------------------------- /tests/unit-fail/j009i.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009i.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j009j.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009j.c -------------------------------------------------------------------------------- /tests/unit-fail/j009j.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j009j.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010a.c -------------------------------------------------------------------------------- /tests/unit-fail/j010a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010b.c -------------------------------------------------------------------------------- /tests/unit-fail/j010b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010c.c -------------------------------------------------------------------------------- /tests/unit-fail/j010c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010d.c -------------------------------------------------------------------------------- /tests/unit-fail/j010d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010e.c -------------------------------------------------------------------------------- /tests/unit-fail/j010e.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010e.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j010f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010f.c -------------------------------------------------------------------------------- /tests/unit-fail/j010f.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j010f.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j011a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j011a.c -------------------------------------------------------------------------------- /tests/unit-fail/j011a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j011a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j011b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j011b.c -------------------------------------------------------------------------------- /tests/unit-fail/j011b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j011b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j012.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j012.c -------------------------------------------------------------------------------- /tests/unit-fail/j012.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j012.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j012a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j012a.c -------------------------------------------------------------------------------- /tests/unit-fail/j012a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j012a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j013.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j013.c -------------------------------------------------------------------------------- /tests/unit-fail/j013.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j013.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j013a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j013a.c -------------------------------------------------------------------------------- /tests/unit-fail/j013a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j013a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j017a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j017a.c -------------------------------------------------------------------------------- /tests/unit-fail/j017a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j017a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j017c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j017c.c -------------------------------------------------------------------------------- /tests/unit-fail/j017c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j017c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j018a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j018a.c -------------------------------------------------------------------------------- /tests/unit-fail/j018a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j018a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j019b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j019b.c -------------------------------------------------------------------------------- /tests/unit-fail/j019b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j019b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j019c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j019c.c -------------------------------------------------------------------------------- /tests/unit-fail/j019c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j019c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021.c -------------------------------------------------------------------------------- /tests/unit-fail/j021.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021a.c -------------------------------------------------------------------------------- /tests/unit-fail/j021a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021b.c -------------------------------------------------------------------------------- /tests/unit-fail/j021b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021c.c -------------------------------------------------------------------------------- /tests/unit-fail/j021c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021d.c -------------------------------------------------------------------------------- /tests/unit-fail/j021d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j021e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021e.c -------------------------------------------------------------------------------- /tests/unit-fail/j021e.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j021e.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j022a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j022a.c -------------------------------------------------------------------------------- /tests/unit-fail/j022a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j022a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j024.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j024.c -------------------------------------------------------------------------------- /tests/unit-fail/j024.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j024.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j024a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j024a.c -------------------------------------------------------------------------------- /tests/unit-fail/j024a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j024a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j025a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j025a.c -------------------------------------------------------------------------------- /tests/unit-fail/j025a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j025a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j026a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026a.c -------------------------------------------------------------------------------- /tests/unit-fail/j026a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j026b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026b.c -------------------------------------------------------------------------------- /tests/unit-fail/j026b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j026c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026c.c -------------------------------------------------------------------------------- /tests/unit-fail/j026c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j026c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j033a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033a.c -------------------------------------------------------------------------------- /tests/unit-fail/j033a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j033b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033b.c -------------------------------------------------------------------------------- /tests/unit-fail/j033b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j033c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033c.c -------------------------------------------------------------------------------- /tests/unit-fail/j033c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j033c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j035a-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035a-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j035b-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035b-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j035c-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035c-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j035d-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035d-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j035e-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035e-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j035f-nc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j035f-nc.c -------------------------------------------------------------------------------- /tests/unit-fail/j037a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037a.c -------------------------------------------------------------------------------- /tests/unit-fail/j037a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037b.c -------------------------------------------------------------------------------- /tests/unit-fail/j037b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037c.c -------------------------------------------------------------------------------- /tests/unit-fail/j037c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037d.c -------------------------------------------------------------------------------- /tests/unit-fail/j037d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037e.c -------------------------------------------------------------------------------- /tests/unit-fail/j037e.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037e.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037f.c -------------------------------------------------------------------------------- /tests/unit-fail/j037f.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037f.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037g.c -------------------------------------------------------------------------------- /tests/unit-fail/j037g.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037g.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j037h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037h.c -------------------------------------------------------------------------------- /tests/unit-fail/j037h.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j037h.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j038a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038a.c -------------------------------------------------------------------------------- /tests/unit-fail/j038a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j038b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038b.c -------------------------------------------------------------------------------- /tests/unit-fail/j038b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j038c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038c.c -------------------------------------------------------------------------------- /tests/unit-fail/j038c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j038c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j039a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j039a.c -------------------------------------------------------------------------------- /tests/unit-fail/j039a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j039a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j039b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j039b.c -------------------------------------------------------------------------------- /tests/unit-fail/j039b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j039b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j040a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040a.c -------------------------------------------------------------------------------- /tests/unit-fail/j040a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j040b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040b.c -------------------------------------------------------------------------------- /tests/unit-fail/j040b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j040c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040c.c -------------------------------------------------------------------------------- /tests/unit-fail/j040c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j040c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j041a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j041a.c -------------------------------------------------------------------------------- /tests/unit-fail/j041a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j041a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j043a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j043a.c -------------------------------------------------------------------------------- /tests/unit-fail/j043a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j043a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j044d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j044d.c -------------------------------------------------------------------------------- /tests/unit-fail/j044d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j044d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j045c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045c.c -------------------------------------------------------------------------------- /tests/unit-fail/j045c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j045d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045d.c -------------------------------------------------------------------------------- /tests/unit-fail/j045d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j045e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045e.c -------------------------------------------------------------------------------- /tests/unit-fail/j045e.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045e.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j045f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045f.c -------------------------------------------------------------------------------- /tests/unit-fail/j045f.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j045f.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j046a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046a.c -------------------------------------------------------------------------------- /tests/unit-fail/j046a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j046b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046b.c -------------------------------------------------------------------------------- /tests/unit-fail/j046b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j046c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046c.c -------------------------------------------------------------------------------- /tests/unit-fail/j046c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j046c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j047a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047a.c -------------------------------------------------------------------------------- /tests/unit-fail/j047a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j047b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047b.c -------------------------------------------------------------------------------- /tests/unit-fail/j047b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j047d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047d.c -------------------------------------------------------------------------------- /tests/unit-fail/j047d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j047d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j048a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j048a.c -------------------------------------------------------------------------------- /tests/unit-fail/j048a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j048a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j048b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j048b.c -------------------------------------------------------------------------------- /tests/unit-fail/j048b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j048b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j049a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049a.c -------------------------------------------------------------------------------- /tests/unit-fail/j049a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j049b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049b.c -------------------------------------------------------------------------------- /tests/unit-fail/j049b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j049c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049c.c -------------------------------------------------------------------------------- /tests/unit-fail/j049c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j049c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j051a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051a.c -------------------------------------------------------------------------------- /tests/unit-fail/j051a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j051b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051b.c -------------------------------------------------------------------------------- /tests/unit-fail/j051b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j051c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051c.c -------------------------------------------------------------------------------- /tests/unit-fail/j051c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j051d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051d.c -------------------------------------------------------------------------------- /tests/unit-fail/j051d.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j051d.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j053a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053a.c -------------------------------------------------------------------------------- /tests/unit-fail/j053a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j053b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053b.c -------------------------------------------------------------------------------- /tests/unit-fail/j053b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j053c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053c.c -------------------------------------------------------------------------------- /tests/unit-fail/j053c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j053c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j054a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054a.c -------------------------------------------------------------------------------- /tests/unit-fail/j054a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j054b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054b.c -------------------------------------------------------------------------------- /tests/unit-fail/j054b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j054c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054c.c -------------------------------------------------------------------------------- /tests/unit-fail/j054c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j054c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j060c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j060c.c -------------------------------------------------------------------------------- /tests/unit-fail/j060c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j060c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j062a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j062a.c -------------------------------------------------------------------------------- /tests/unit-fail/j062a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j062a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j064a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j064a.c -------------------------------------------------------------------------------- /tests/unit-fail/j064a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j064a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j064b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j064b.c -------------------------------------------------------------------------------- /tests/unit-fail/j064b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j064b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j065a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j065a.c -------------------------------------------------------------------------------- /tests/unit-fail/j065a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j065a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j065b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j065b.c -------------------------------------------------------------------------------- /tests/unit-fail/j065b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j065b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j068a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068a.c -------------------------------------------------------------------------------- /tests/unit-fail/j068a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j068b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068b.c -------------------------------------------------------------------------------- /tests/unit-fail/j068b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j068c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068c.c -------------------------------------------------------------------------------- /tests/unit-fail/j068c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j068c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j069a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069a.c -------------------------------------------------------------------------------- /tests/unit-fail/j069a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j069b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069b.c -------------------------------------------------------------------------------- /tests/unit-fail/j069b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j069c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069c.c -------------------------------------------------------------------------------- /tests/unit-fail/j069c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j069c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j071a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071a.c -------------------------------------------------------------------------------- /tests/unit-fail/j071a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j071b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071b.c -------------------------------------------------------------------------------- /tests/unit-fail/j071b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j071c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071c.c -------------------------------------------------------------------------------- /tests/unit-fail/j071c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j071c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j075a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j075a.c -------------------------------------------------------------------------------- /tests/unit-fail/j075a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j075a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j075b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j075b.c -------------------------------------------------------------------------------- /tests/unit-fail/j075b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j075b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j077a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077a.c -------------------------------------------------------------------------------- /tests/unit-fail/j077a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j077b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077b.c -------------------------------------------------------------------------------- /tests/unit-fail/j077b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j077c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077c.c -------------------------------------------------------------------------------- /tests/unit-fail/j077c.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j077c.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j080a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j080a.c -------------------------------------------------------------------------------- /tests/unit-fail/j080a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j080a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j088a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j088a.c -------------------------------------------------------------------------------- /tests/unit-fail/j088a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j088a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j088b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j088b.c -------------------------------------------------------------------------------- /tests/unit-fail/j088b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j088b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j108a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j108a.c -------------------------------------------------------------------------------- /tests/unit-fail/j108a.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j108a.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/j108b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j108b.c -------------------------------------------------------------------------------- /tests/unit-fail/j108b.c.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/j108b.c.ref -------------------------------------------------------------------------------- /tests/unit-fail/locale1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/locale1.c -------------------------------------------------------------------------------- /tests/unit-fail/locale2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/locale2.c -------------------------------------------------------------------------------- /tests/unit-fail/padding-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/padding-1.c -------------------------------------------------------------------------------- /tests/unit-fail/padding-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/padding-2.c -------------------------------------------------------------------------------- /tests/unit-fail/pr28778.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/pr28778.c -------------------------------------------------------------------------------- /tests/unit-fail/pr35634.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/pr35634.C -------------------------------------------------------------------------------- /tests/unit-fail/pr36343.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/pr36343.c -------------------------------------------------------------------------------- /tests/unit-fail/printf-o.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/printf-o.c -------------------------------------------------------------------------------- /tests/unit-fail/stdio1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/stdio1.c -------------------------------------------------------------------------------- /tests/unit-fail/stdio2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/stdio2.c -------------------------------------------------------------------------------- /tests/unit-fail/stdlib1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/stdlib1.c -------------------------------------------------------------------------------- /tests/unit-fail/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/strcpy.c -------------------------------------------------------------------------------- /tests/unit-fail/string1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/string1.c -------------------------------------------------------------------------------- /tests/unit-fail/va-arg-20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/va-arg-20.c -------------------------------------------------------------------------------- /tests/unit-fail/va-arg-26.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/va-arg-26.c -------------------------------------------------------------------------------- /tests/unit-fail/xrealloc1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/xrealloc1.c -------------------------------------------------------------------------------- /tests/unit-fail/xrealloc2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/xrealloc2.c -------------------------------------------------------------------------------- /tests/unit-fail/xrealloc3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/xrealloc3.c -------------------------------------------------------------------------------- /tests/unit-fail/xrealloc4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/xrealloc4.c -------------------------------------------------------------------------------- /tests/unit-fail/z00024.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/z00024.c -------------------------------------------------------------------------------- /tests/unit-fail/z00024a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-fail/z00024a.c -------------------------------------------------------------------------------- /tests/unit-pass/920202-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920202-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920409-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920409-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920410-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920410-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920429-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920429-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920501-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920501-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920506-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920506-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920520-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920520-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920603-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920603-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920604-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920604-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920618-1.c: -------------------------------------------------------------------------------- 1 | #include 2 | int main(){if(1.17549435e-38F<=1.1)exit(0);abort();} 3 | -------------------------------------------------------------------------------- /tests/unit-pass/920625-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920625-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920710-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920710-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920721-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920721-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920721-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920721-2.c -------------------------------------------------------------------------------- /tests/unit-pass/920721-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920721-3.c -------------------------------------------------------------------------------- /tests/unit-pass/920731-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920731-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920810-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920810-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920812-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920812-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920829-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920829-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920908-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920908-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920909-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920909-1.c -------------------------------------------------------------------------------- /tests/unit-pass/920929-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/920929-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921006-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921006-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921013-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921013-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921019-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921019-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921019-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921019-2.c -------------------------------------------------------------------------------- /tests/unit-pass/921110-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921110-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921112-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921112-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921113-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921113-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921117-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921117-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921123-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921123-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921123-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921123-2.c -------------------------------------------------------------------------------- /tests/unit-pass/921124-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921124-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921202-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921202-2.c -------------------------------------------------------------------------------- /tests/unit-pass/921204-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921204-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921207-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921207-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921208-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921208-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921208-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921208-2.c -------------------------------------------------------------------------------- /tests/unit-pass/921218-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921218-1.c -------------------------------------------------------------------------------- /tests/unit-pass/921218-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/921218-2.c -------------------------------------------------------------------------------- /tests/unit-pass/930106-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930106-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930111-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930111-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930123-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930123-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930408-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930408-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930429-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930429-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930513-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930513-2.c -------------------------------------------------------------------------------- /tests/unit-pass/930518-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930518-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930526-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930526-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930527-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930527-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930603-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930603-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930603-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930603-2.c -------------------------------------------------------------------------------- /tests/unit-pass/930603-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930603-3.c -------------------------------------------------------------------------------- /tests/unit-pass/930608-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930608-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930614-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930614-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930614-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930614-2.c -------------------------------------------------------------------------------- /tests/unit-pass/930621-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930621-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930622-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930622-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930622-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930622-2.c -------------------------------------------------------------------------------- /tests/unit-pass/930628-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930628-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930630-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930630-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930702-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930702-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930713-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930713-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930725-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930725-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930818-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930818-1.c -------------------------------------------------------------------------------- /tests/unit-pass/930929-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/930929-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-10.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-11.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-12.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-13.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-14.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-2.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-3.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-4.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-5.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-6.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-7.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-8.c -------------------------------------------------------------------------------- /tests/unit-pass/931004-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931004-9.c -------------------------------------------------------------------------------- /tests/unit-pass/931005-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931005-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931009-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931009-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931012-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931012-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931017-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931017-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931018-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931018-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931102-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931102-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931102-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931102-2.c -------------------------------------------------------------------------------- /tests/unit-pass/931110-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931110-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931110-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931110-2.c -------------------------------------------------------------------------------- /tests/unit-pass/931208-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931208-1.c -------------------------------------------------------------------------------- /tests/unit-pass/931228-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/931228-1.c -------------------------------------------------------------------------------- /tests/unit-pass/940122-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/940122-1.c -------------------------------------------------------------------------------- /tests/unit-pass/941025-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/941025-1.c -------------------------------------------------------------------------------- /tests/unit-pass/941031-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/941031-1.c -------------------------------------------------------------------------------- /tests/unit-pass/941101-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/941101-1.c -------------------------------------------------------------------------------- /tests/unit-pass/941110-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/941110-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950322-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950322-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950426-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950426-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950503-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950503-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950511-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950511-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950512-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950512-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950605-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950605-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950607-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950607-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950607-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950607-2.c -------------------------------------------------------------------------------- /tests/unit-pass/950621-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950621-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950628-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950628-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950706-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950706-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950714-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950714-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950809-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950809-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950915-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950915-1.c -------------------------------------------------------------------------------- /tests/unit-pass/950929-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/950929-1.c -------------------------------------------------------------------------------- /tests/unit-pass/951003-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/951003-1.c -------------------------------------------------------------------------------- /tests/unit-pass/951115-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/951115-1.c -------------------------------------------------------------------------------- /tests/unit-pass/951204-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/951204-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960117-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960117-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960209-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960209-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960215-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960215-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960218-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960218-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960219-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960219-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960301-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960301-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960302-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960302-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960311-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960311-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960311-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960311-2.c -------------------------------------------------------------------------------- /tests/unit-pass/960311-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960311-3.c -------------------------------------------------------------------------------- /tests/unit-pass/960321-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960321-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960326-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960326-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960402-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960402-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960419-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960419-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960419-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960419-2.c -------------------------------------------------------------------------------- /tests/unit-pass/960513-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960513-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960801-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960801-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960802-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960802-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960830-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960830-1.c -------------------------------------------------------------------------------- /tests/unit-pass/960909-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/960909-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961004-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961004-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961017-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961017-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961026-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961026-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961112-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961112-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961122-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961122-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961122-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961122-2.c -------------------------------------------------------------------------------- /tests/unit-pass/961125-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961125-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961206-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961206-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961213-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961213-1.c -------------------------------------------------------------------------------- /tests/unit-pass/961223-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/961223-1.c -------------------------------------------------------------------------------- /tests/unit-pass/970214-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/970214-1.c -------------------------------------------------------------------------------- /tests/unit-pass/970214-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/970214-2.c -------------------------------------------------------------------------------- /tests/unit-pass/970923-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/970923-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980205.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980205.c -------------------------------------------------------------------------------- /tests/unit-pass/980223.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980223.c -------------------------------------------------------------------------------- /tests/unit-pass/980424-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980424-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980505-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980505-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980505-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980505-2.c -------------------------------------------------------------------------------- /tests/unit-pass/980506-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980506-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980506-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980506-2.c -------------------------------------------------------------------------------- /tests/unit-pass/980526-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980526-3.c -------------------------------------------------------------------------------- /tests/unit-pass/980602-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980602-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980602-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980602-2.c -------------------------------------------------------------------------------- /tests/unit-pass/980604-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980604-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980608-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980608-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980612-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980612-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980618-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980618-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980707-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980707-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980709-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980709-1.c -------------------------------------------------------------------------------- /tests/unit-pass/980929-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/980929-1.c -------------------------------------------------------------------------------- /tests/unit-pass/981001-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/981001-1.c -------------------------------------------------------------------------------- /tests/unit-pass/981019-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/981019-1.c -------------------------------------------------------------------------------- /tests/unit-pass/981130-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/981130-1.c -------------------------------------------------------------------------------- /tests/unit-pass/981206-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/981206-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990106-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990106-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990106-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990106-2.c -------------------------------------------------------------------------------- /tests/unit-pass/990117-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990117-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990127-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990127-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990127-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990127-2.c -------------------------------------------------------------------------------- /tests/unit-pass/990128-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990128-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990211-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990211-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990222-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990222-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990404-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990404-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990513-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990513-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990524-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990524-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990525-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990525-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990525-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990525-2.c -------------------------------------------------------------------------------- /tests/unit-pass/990527-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990527-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990531-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990531-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990604-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990604-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990628-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990628-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990804-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990804-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990811-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990811-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990826-0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990826-0.c -------------------------------------------------------------------------------- /tests/unit-pass/990827-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990827-1.c -------------------------------------------------------------------------------- /tests/unit-pass/990829-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/990829-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991019-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991019-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991023-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991023-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991030-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991030-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991112-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991112-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991201-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991201-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991202-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991202-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991202-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991202-2.c -------------------------------------------------------------------------------- /tests/unit-pass/991202-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991202-3.c -------------------------------------------------------------------------------- /tests/unit-pass/991216-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991216-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991216-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991216-2.c -------------------------------------------------------------------------------- /tests/unit-pass/991216-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991216-4.c -------------------------------------------------------------------------------- /tests/unit-pass/991221-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991221-1.c -------------------------------------------------------------------------------- /tests/unit-pass/991227-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/991227-1.c -------------------------------------------------------------------------------- /tests/unit-pass/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/Makefile -------------------------------------------------------------------------------- /tests/unit-pass/alias.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/alias.C -------------------------------------------------------------------------------- /tests/unit-pass/align-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/align-1.c -------------------------------------------------------------------------------- /tests/unit-pass/align-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/align-2.c -------------------------------------------------------------------------------- /tests/unit-pass/alignas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/alignas.c -------------------------------------------------------------------------------- /tests/unit-pass/alignof2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/alignof2.C -------------------------------------------------------------------------------- /tests/unit-pass/anon1-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/anon1-2.C -------------------------------------------------------------------------------- /tests/unit-pass/argc.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/argc.C -------------------------------------------------------------------------------- /tests/unit-pass/arith-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/arith-1.c -------------------------------------------------------------------------------- /tests/unit-pass/array1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/array1.C -------------------------------------------------------------------------------- /tests/unit-pass/array4.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/array4.C -------------------------------------------------------------------------------- /tests/unit-pass/array5.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/array5.C -------------------------------------------------------------------------------- /tests/unit-pass/ashldi-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/ashldi-1.c -------------------------------------------------------------------------------- /tests/unit-pass/atexit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/atexit.c -------------------------------------------------------------------------------- /tests/unit-pass/auto-fn5.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/auto-fn5.C -------------------------------------------------------------------------------- /tests/unit-pass/badUnion3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/badUnion3.c -------------------------------------------------------------------------------- /tests/unit-pass/bf-sign-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bf-sign-1.c -------------------------------------------------------------------------------- /tests/unit-pass/bind-rvref.C: -------------------------------------------------------------------------------- 1 | int main() { 2 | int && x = 2; 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-pass/bitfld-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bitfld-1.c -------------------------------------------------------------------------------- /tests/unit-pass/bitfld-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bitfld-2.c -------------------------------------------------------------------------------- /tests/unit-pass/bool1-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bool1-2.C -------------------------------------------------------------------------------- /tests/unit-pass/bool1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bool1.C -------------------------------------------------------------------------------- /tests/unit-pass/bool3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/bool3.C -------------------------------------------------------------------------------- /tests/unit-pass/check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/check.h -------------------------------------------------------------------------------- /tests/unit-pass/comma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/comma.c -------------------------------------------------------------------------------- /tests/unit-pass/comma1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/comma1.C -------------------------------------------------------------------------------- /tests/unit-pass/cond1-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/cond1-3.C -------------------------------------------------------------------------------- /tests/unit-pass/cond5.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/cond5.C -------------------------------------------------------------------------------- /tests/unit-pass/cond6.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/cond6.C -------------------------------------------------------------------------------- /tests/unit-pass/conv2-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/conv2-2.C -------------------------------------------------------------------------------- /tests/unit-pass/ctor1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/ctor1.C -------------------------------------------------------------------------------- /tests/unit-pass/cvt-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/cvt-1.c -------------------------------------------------------------------------------- /tests/unit-pass/dbra-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/dbra-1.c -------------------------------------------------------------------------------- /tests/unit-pass/defines.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/defines.c -------------------------------------------------------------------------------- /tests/unit-pass/eh3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/eh3.C -------------------------------------------------------------------------------- /tests/unit-pass/empty8.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/empty8.C -------------------------------------------------------------------------------- /tests/unit-pass/enum-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-1.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-2.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-3.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-4.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-5.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/enum-6.c -------------------------------------------------------------------------------- /tests/unit-pass/enum-ut.C: -------------------------------------------------------------------------------- 1 | enum class E : short {}; 2 | __underlying_type(E) x = 5; 3 | 4 | int main(){} 5 | -------------------------------------------------------------------------------- /tests/unit-pass/extzvsi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/extzvsi.c -------------------------------------------------------------------------------- /tests/unit-pass/failing/nested-extern-1-link2.C: -------------------------------------------------------------------------------- 1 | int i; 2 | -------------------------------------------------------------------------------- /tests/unit-pass/failing/nested-extern-2-link2.C: -------------------------------------------------------------------------------- 1 | int i; 2 | -------------------------------------------------------------------------------- /tests/unit-pass/fnname1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/fnname1.C -------------------------------------------------------------------------------- /tests/unit-pass/fptr-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/fptr-1.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/cv1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/cv1.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/dc5.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/dc5.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/dc6.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/dc6.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/eh2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/eh2.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/eh4.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/eh4.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/pm1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/pm1.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/pm3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/pm3.C -------------------------------------------------------------------------------- /tests/unit-pass/g++/rvo.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/g++/rvo.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-10.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-10.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-11.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-11.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-13.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-13.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-15.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-15.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-3.C -------------------------------------------------------------------------------- /tests/unit-pass/gcov-3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-3.h -------------------------------------------------------------------------------- /tests/unit-pass/gcov-7.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcov-7.C -------------------------------------------------------------------------------- /tests/unit-pass/gcsec1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gcsec1.C -------------------------------------------------------------------------------- /tests/unit-pass/generic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/generic.c -------------------------------------------------------------------------------- /tests/unit-pass/gofast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/gofast.c -------------------------------------------------------------------------------- /tests/unit-pass/hello.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/hello.C -------------------------------------------------------------------------------- /tests/unit-pass/hold-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/hold-1.C -------------------------------------------------------------------------------- /tests/unit-pass/i386-9.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/i386-9.C -------------------------------------------------------------------------------- /tests/unit-pass/index-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/index-1.c -------------------------------------------------------------------------------- /tests/unit-pass/j004a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j004a.c -------------------------------------------------------------------------------- /tests/unit-pass/j004b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j004b.c -------------------------------------------------------------------------------- /tests/unit-pass/j004c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j004c.c -------------------------------------------------------------------------------- /tests/unit-pass/j004d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j004d.c -------------------------------------------------------------------------------- /tests/unit-pass/j008.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j008.c -------------------------------------------------------------------------------- /tests/unit-pass/j009.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j009.c -------------------------------------------------------------------------------- /tests/unit-pass/j010.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j010.c -------------------------------------------------------------------------------- /tests/unit-pass/j011.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j011.c -------------------------------------------------------------------------------- /tests/unit-pass/j014.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j014.c -------------------------------------------------------------------------------- /tests/unit-pass/j015.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j015.c -------------------------------------------------------------------------------- /tests/unit-pass/j016.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j016.c -------------------------------------------------------------------------------- /tests/unit-pass/j017.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j017.c -------------------------------------------------------------------------------- /tests/unit-pass/j018.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j018.c -------------------------------------------------------------------------------- /tests/unit-pass/j019.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j019.c -------------------------------------------------------------------------------- /tests/unit-pass/j020.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j020.c -------------------------------------------------------------------------------- /tests/unit-pass/j022.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j022.c -------------------------------------------------------------------------------- /tests/unit-pass/j023.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j023.c -------------------------------------------------------------------------------- /tests/unit-pass/j025.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j025.c -------------------------------------------------------------------------------- /tests/unit-pass/j025b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j025b.c -------------------------------------------------------------------------------- /tests/unit-pass/j026.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j026.c -------------------------------------------------------------------------------- /tests/unit-pass/j027.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j027.c -------------------------------------------------------------------------------- /tests/unit-pass/j032.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j032.c -------------------------------------------------------------------------------- /tests/unit-pass/j033.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j033.c -------------------------------------------------------------------------------- /tests/unit-pass/j035.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j035.c -------------------------------------------------------------------------------- /tests/unit-pass/j036.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j036.c -------------------------------------------------------------------------------- /tests/unit-pass/j037.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j037.c -------------------------------------------------------------------------------- /tests/unit-pass/j038.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j038.c -------------------------------------------------------------------------------- /tests/unit-pass/j039.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j039.c -------------------------------------------------------------------------------- /tests/unit-pass/j040.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j040.c -------------------------------------------------------------------------------- /tests/unit-pass/j041.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j041.c -------------------------------------------------------------------------------- /tests/unit-pass/j042.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j042.c -------------------------------------------------------------------------------- /tests/unit-pass/j043.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j043.c -------------------------------------------------------------------------------- /tests/unit-pass/j044.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j044.c -------------------------------------------------------------------------------- /tests/unit-pass/j045.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j045.c -------------------------------------------------------------------------------- /tests/unit-pass/j046.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j046.c -------------------------------------------------------------------------------- /tests/unit-pass/j047.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j047.c -------------------------------------------------------------------------------- /tests/unit-pass/j048.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j048.c -------------------------------------------------------------------------------- /tests/unit-pass/j049.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j049.c -------------------------------------------------------------------------------- /tests/unit-pass/j050.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j050.c -------------------------------------------------------------------------------- /tests/unit-pass/j051.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j051.c -------------------------------------------------------------------------------- /tests/unit-pass/j052.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j052.c -------------------------------------------------------------------------------- /tests/unit-pass/j053.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j053.c -------------------------------------------------------------------------------- /tests/unit-pass/j054.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j054.c -------------------------------------------------------------------------------- /tests/unit-pass/j055.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j055.c -------------------------------------------------------------------------------- /tests/unit-pass/j056.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j056.c -------------------------------------------------------------------------------- /tests/unit-pass/j057.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j057.c -------------------------------------------------------------------------------- /tests/unit-pass/j058.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j058.c -------------------------------------------------------------------------------- /tests/unit-pass/j059.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j059.c -------------------------------------------------------------------------------- /tests/unit-pass/j060.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j060.c -------------------------------------------------------------------------------- /tests/unit-pass/j060a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j060a.c -------------------------------------------------------------------------------- /tests/unit-pass/j061.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j061.c -------------------------------------------------------------------------------- /tests/unit-pass/j062.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j062.c -------------------------------------------------------------------------------- /tests/unit-pass/j063.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j063.c -------------------------------------------------------------------------------- /tests/unit-pass/j064.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j064.c -------------------------------------------------------------------------------- /tests/unit-pass/j065.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j065.c -------------------------------------------------------------------------------- /tests/unit-pass/j066.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j066.c -------------------------------------------------------------------------------- /tests/unit-pass/j067.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j067.c -------------------------------------------------------------------------------- /tests/unit-pass/j068.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j068.c -------------------------------------------------------------------------------- /tests/unit-pass/j069.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j069.c -------------------------------------------------------------------------------- /tests/unit-pass/j070.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j070.c -------------------------------------------------------------------------------- /tests/unit-pass/j071.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j071.c -------------------------------------------------------------------------------- /tests/unit-pass/j072.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j072.c -------------------------------------------------------------------------------- /tests/unit-pass/j073-link2.c: -------------------------------------------------------------------------------- 1 | _Alignas(4) int x; 2 | -------------------------------------------------------------------------------- /tests/unit-pass/j074.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j074.c -------------------------------------------------------------------------------- /tests/unit-pass/j075.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j075.c -------------------------------------------------------------------------------- /tests/unit-pass/j076.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j076.c -------------------------------------------------------------------------------- /tests/unit-pass/j077.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j077.c -------------------------------------------------------------------------------- /tests/unit-pass/j078.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j078.c -------------------------------------------------------------------------------- /tests/unit-pass/j079.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j079.c -------------------------------------------------------------------------------- /tests/unit-pass/j080.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j080.c -------------------------------------------------------------------------------- /tests/unit-pass/j081.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j081.c -------------------------------------------------------------------------------- /tests/unit-pass/j082.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j082.c -------------------------------------------------------------------------------- /tests/unit-pass/j083.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j083.c -------------------------------------------------------------------------------- /tests/unit-pass/j084-link2.c: -------------------------------------------------------------------------------- 1 | int c; 2 | -------------------------------------------------------------------------------- /tests/unit-pass/j085.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j085.c -------------------------------------------------------------------------------- /tests/unit-pass/j086.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j086.c -------------------------------------------------------------------------------- /tests/unit-pass/j087.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j087.c -------------------------------------------------------------------------------- /tests/unit-pass/j088.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j088.c -------------------------------------------------------------------------------- /tests/unit-pass/j089.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j089.c -------------------------------------------------------------------------------- /tests/unit-pass/j090a.c: -------------------------------------------------------------------------------- 1 | int a[]; 2 | 3 | int main(void) { 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /tests/unit-pass/j108a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j108a.c -------------------------------------------------------------------------------- /tests/unit-pass/j108b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j108b.c -------------------------------------------------------------------------------- /tests/unit-pass/j500a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j500a.c -------------------------------------------------------------------------------- /tests/unit-pass/j501a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j501a.c -------------------------------------------------------------------------------- /tests/unit-pass/j501b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j501b.c -------------------------------------------------------------------------------- /tests/unit-pass/j501c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j501c.c -------------------------------------------------------------------------------- /tests/unit-pass/j501d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j501d.c -------------------------------------------------------------------------------- /tests/unit-pass/j502a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j502a.c -------------------------------------------------------------------------------- /tests/unit-pass/j502b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j502b.c -------------------------------------------------------------------------------- /tests/unit-pass/j503a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[1]; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /tests/unit-pass/j504a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j504a.c -------------------------------------------------------------------------------- /tests/unit-pass/j506a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/j506a.c -------------------------------------------------------------------------------- /tests/unit-pass/l-ccve2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/l-ccve2.c -------------------------------------------------------------------------------- /tests/unit-pass/lhole.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/lhole.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-1.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-10.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-11.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-12.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-13.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-14.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-2b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-2b.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-3c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-3c.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-4.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-4b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-4b.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-5.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-7.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-8.c -------------------------------------------------------------------------------- /tests/unit-pass/loop-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop-9.c -------------------------------------------------------------------------------- /tests/unit-pass/loop1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop1.C -------------------------------------------------------------------------------- /tests/unit-pass/loop2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/loop2.C -------------------------------------------------------------------------------- /tests/unit-pass/mangle2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/mangle2.C -------------------------------------------------------------------------------- /tests/unit-pass/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/memcmp.c -------------------------------------------------------------------------------- /tests/unit-pass/mod-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/mod-1.c -------------------------------------------------------------------------------- /tests/unit-pass/new23.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/new23.C -------------------------------------------------------------------------------- /tests/unit-pass/new41.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/new41.C -------------------------------------------------------------------------------- /tests/unit-pass/nns-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/nns-1.C -------------------------------------------------------------------------------- /tests/unit-pass/nns-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/nns-2.C -------------------------------------------------------------------------------- /tests/unit-pass/nullptr.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/nullptr.C -------------------------------------------------------------------------------- /tests/unit-pass/oper1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/oper1.C -------------------------------------------------------------------------------- /tests/unit-pass/p18298.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/p18298.c -------------------------------------------------------------------------------- /tests/unit-pass/pr15262.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr15262.c -------------------------------------------------------------------------------- /tests/unit-pass/pr19005.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr19005.c -------------------------------------------------------------------------------- /tests/unit-pass/pr19515.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr19515.c -------------------------------------------------------------------------------- /tests/unit-pass/pr19606.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr19606.c -------------------------------------------------------------------------------- /tests/unit-pass/pr19689.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr19689.c -------------------------------------------------------------------------------- /tests/unit-pass/pr21331.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr21331.c -------------------------------------------------------------------------------- /tests/unit-pass/pr22348.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr22348.c -------------------------------------------------------------------------------- /tests/unit-pass/pr22429.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr22429.c -------------------------------------------------------------------------------- /tests/unit-pass/pr22630.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr22630.c -------------------------------------------------------------------------------- /tests/unit-pass/pr23604.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr23604.c -------------------------------------------------------------------------------- /tests/unit-pass/pr23941.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr23941.c -------------------------------------------------------------------------------- /tests/unit-pass/pr24141.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr24141.c -------------------------------------------------------------------------------- /tests/unit-pass/pr24142.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr24142.c -------------------------------------------------------------------------------- /tests/unit-pass/pr24716.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr24716.c -------------------------------------------------------------------------------- /tests/unit-pass/pr24851.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr24851.c -------------------------------------------------------------------------------- /tests/unit-pass/pr25737.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr25737.c -------------------------------------------------------------------------------- /tests/unit-pass/pr26757.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr26757.C -------------------------------------------------------------------------------- /tests/unit-pass/pr27073.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr27073.c -------------------------------------------------------------------------------- /tests/unit-pass/pr27260.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr27260.c -------------------------------------------------------------------------------- /tests/unit-pass/pr27285.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr27285.c -------------------------------------------------------------------------------- /tests/unit-pass/pr27364.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr27364.c -------------------------------------------------------------------------------- /tests/unit-pass/pr28289.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr28289.c -------------------------------------------------------------------------------- /tests/unit-pass/pr28403.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr28403.c -------------------------------------------------------------------------------- /tests/unit-pass/pr29006.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr29006.c -------------------------------------------------------------------------------- /tests/unit-pass/pr29156.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr29156.c -------------------------------------------------------------------------------- /tests/unit-pass/pr29798.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr29798.c -------------------------------------------------------------------------------- /tests/unit-pass/pr30185.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr30185.c -------------------------------------------------------------------------------- /tests/unit-pass/pr31072.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr31072.c -------------------------------------------------------------------------------- /tests/unit-pass/pr31136.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr31136.c -------------------------------------------------------------------------------- /tests/unit-pass/pr31169.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr31169.c -------------------------------------------------------------------------------- /tests/unit-pass/pr32500.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr32500.c -------------------------------------------------------------------------------- /tests/unit-pass/pr33142.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr33142.c -------------------------------------------------------------------------------- /tests/unit-pass/pr33631.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr33631.c -------------------------------------------------------------------------------- /tests/unit-pass/pr33669.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr33669.c -------------------------------------------------------------------------------- /tests/unit-pass/pr33992.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr33992.c -------------------------------------------------------------------------------- /tests/unit-pass/pr34130.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr34130.c -------------------------------------------------------------------------------- /tests/unit-pass/pr34235.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr34235.C -------------------------------------------------------------------------------- /tests/unit-pass/pr34415.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr34415.c -------------------------------------------------------------------------------- /tests/unit-pass/pr34982.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr34982.c -------------------------------------------------------------------------------- /tests/unit-pass/pr35163.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr35163.c -------------------------------------------------------------------------------- /tests/unit-pass/pr35231.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr35231.c -------------------------------------------------------------------------------- /tests/unit-pass/pr35472.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr35472.c -------------------------------------------------------------------------------- /tests/unit-pass/pr35800.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr35800.c -------------------------------------------------------------------------------- /tests/unit-pass/pr36077.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr36077.c -------------------------------------------------------------------------------- /tests/unit-pass/pr36093.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr36093.c -------------------------------------------------------------------------------- /tests/unit-pass/pr36449.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr36449.C -------------------------------------------------------------------------------- /tests/unit-pass/pr36691.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr36691.c -------------------------------------------------------------------------------- /tests/unit-pass/pr37102.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr37102.c -------------------------------------------------------------------------------- /tests/unit-pass/pr37125.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr37125.c -------------------------------------------------------------------------------- /tests/unit-pass/pr37931.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr37931.c -------------------------------------------------------------------------------- /tests/unit-pass/pr38236.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr38236.c -------------------------------------------------------------------------------- /tests/unit-pass/pr38422.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr38422.c -------------------------------------------------------------------------------- /tests/unit-pass/pr38747.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr38747.C -------------------------------------------------------------------------------- /tests/unit-pass/pr38819.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr38819.c -------------------------------------------------------------------------------- /tests/unit-pass/pr39002.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr39002.C -------------------------------------------------------------------------------- /tests/unit-pass/pr39100.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr39100.c -------------------------------------------------------------------------------- /tests/unit-pass/pr39120.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr39120.c -------------------------------------------------------------------------------- /tests/unit-pass/pr39501.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr39501.c -------------------------------------------------------------------------------- /tests/unit-pass/pr40057.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr40057.c -------------------------------------------------------------------------------- /tests/unit-pass/pr40404.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr40404.c -------------------------------------------------------------------------------- /tests/unit-pass/pr40579.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr40579.c -------------------------------------------------------------------------------- /tests/unit-pass/pr40747.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr40747.c -------------------------------------------------------------------------------- /tests/unit-pass/pr41317.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr41317.c -------------------------------------------------------------------------------- /tests/unit-pass/pr41750.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr41750.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42006.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42006.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42142.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42142.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42154.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42154.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42231.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42231.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42512.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42512.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42721.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42721.c -------------------------------------------------------------------------------- /tests/unit-pass/pr42833.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr42833.c -------------------------------------------------------------------------------- /tests/unit-pass/pr43236.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr43236.c -------------------------------------------------------------------------------- /tests/unit-pass/pr43269.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr43269.c -------------------------------------------------------------------------------- /tests/unit-pass/pr43438.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr43438.c -------------------------------------------------------------------------------- /tests/unit-pass/pr43783.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr43783.c -------------------------------------------------------------------------------- /tests/unit-pass/pr43835.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr43835.c -------------------------------------------------------------------------------- /tests/unit-pass/pr44164.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr44164.c -------------------------------------------------------------------------------- /tests/unit-pass/pr44575.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr44575.c -------------------------------------------------------------------------------- /tests/unit-pass/pr44942.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr44942.c -------------------------------------------------------------------------------- /tests/unit-pass/pr45070.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr45070.c -------------------------------------------------------------------------------- /tests/unit-pass/pr46019.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr46019.c -------------------------------------------------------------------------------- /tests/unit-pass/pr53970.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr53970.C -------------------------------------------------------------------------------- /tests/unit-pass/pr56837.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr56837.C -------------------------------------------------------------------------------- /tests/unit-pass/pr597.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pr597.c -------------------------------------------------------------------------------- /tests/unit-pass/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/printf.c -------------------------------------------------------------------------------- /tests/unit-pass/ptrmem2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/ptrmem2.C -------------------------------------------------------------------------------- /tests/unit-pass/ptrmem8.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/ptrmem8.C -------------------------------------------------------------------------------- /tests/unit-pass/pure-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/pure-1.c -------------------------------------------------------------------------------- /tests/unit-pass/ref20.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/ref20.C -------------------------------------------------------------------------------- /tests/unit-pass/regehr-int-pointer-comparison.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 0 <= (1 < 1); 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /tests/unit-pass/scope-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/scope-1.c -------------------------------------------------------------------------------- /tests/unit-pass/shiftdi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/shiftdi.c -------------------------------------------------------------------------------- /tests/unit-pass/smallTwofile-link2.c: -------------------------------------------------------------------------------- 1 | int f(void){ 2 | return 5; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /tests/unit-pass/spec9.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/spec9.C -------------------------------------------------------------------------------- /tests/unit-pass/trivial.C: -------------------------------------------------------------------------------- 1 | /* { dg-do run } */ 2 | 3 | int main(void) 4 | { 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /tests/unit-pass/try-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/try-1.C -------------------------------------------------------------------------------- /tests/unit-pass/try-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/try-2.C -------------------------------------------------------------------------------- /tests/unit-pass/try-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/try-3.C -------------------------------------------------------------------------------- /tests/unit-pass/try-4.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/try-4.C -------------------------------------------------------------------------------- /tests/unit-pass/union-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/union-1.C -------------------------------------------------------------------------------- /tests/unit-pass/union-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/union-2.C -------------------------------------------------------------------------------- /tests/unit-pass/union-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/union-3.C -------------------------------------------------------------------------------- /tests/unit-pass/union-4.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/union-4.C -------------------------------------------------------------------------------- /tests/unit-pass/using-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/using-1.C -------------------------------------------------------------------------------- /tests/unit-pass/usmul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/usmul.c -------------------------------------------------------------------------------- /tests/unit-pass/utf16-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf16-1.C -------------------------------------------------------------------------------- /tests/unit-pass/utf16-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf16-2.C -------------------------------------------------------------------------------- /tests/unit-pass/utf16-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf16-3.C -------------------------------------------------------------------------------- /tests/unit-pass/utf32-1.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf32-1.C -------------------------------------------------------------------------------- /tests/unit-pass/utf32-2.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf32-2.C -------------------------------------------------------------------------------- /tests/unit-pass/utf32-3.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/utf32-3.C -------------------------------------------------------------------------------- /tests/unit-pass/valueinit-void.C: -------------------------------------------------------------------------------- 1 | int main() { 2 | void(); 3 | } 4 | -------------------------------------------------------------------------------- /tests/unit-pass/vrp-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-1.c -------------------------------------------------------------------------------- /tests/unit-pass/vrp-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-2.c -------------------------------------------------------------------------------- /tests/unit-pass/vrp-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-3.c -------------------------------------------------------------------------------- /tests/unit-pass/vrp-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-4.c -------------------------------------------------------------------------------- /tests/unit-pass/vrp-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-5.c -------------------------------------------------------------------------------- /tests/unit-pass/vrp-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/tests/unit-pass/vrp-6.c -------------------------------------------------------------------------------- /verification/annotation.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/verification/annotation.k -------------------------------------------------------------------------------- /verification/int_set.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kframework/c-semantics/HEAD/verification/int_set.k --------------------------------------------------------------------------------