Files

.build
clang-tools
examples
licenses
native-server
parser
profiles
scripts
semantics
setup
tests
- unit-fail-compilation
  - failing
  - 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
  - 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
- unit-pass
- Makefile
- check-results.mk
verification
.gitignore
.gitmodules
C18.md
Dockerfile
INSTALL.md
Jenkinsfile
LICENSE
Makefile
README.md
build.sh

defines.c.ref

virgil-serbanuta

Add locations for expressions (#649 )

Jan 27, 2021

e068f19 · Jan 27, 2021