Skip to content
Failed

Changes

Summary

  1. Implement new rules for array dimension expression matching. (details)
  2. change printf to sout (details)
Commit f02f546a0bb9f23075f612531e3b22bef6122da8 by Michael Brooks
Implement new rules for array dimension expression matching.

Core changes:
src/ResolvExpr/Unify.cc: add sense of "these two expressions unify"
src/InitTweak/GenInit.cc: make hoisting happen more often
tests/array-container/*: reconfigure the array-dimension test to use non-"classic" expectation rules

Misc contributors and noise:
libcfa/src/parseargs.cfa: ,ake a parameter, that's used as a length expression, constant (example of an array user following new rules)
src/ResolvExpr/ResolveTypeof.h: make fixArrayType public
src/Validate/GenericParameter.cpp: do the array-type desugaring in both AST corners that forall-variables can be found (not just in one of them)
tests/.expect/typedefRedef-ERR1.txt: old one was "expecting" a bug, that new array rules handle correctly
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt
The file was modifiedsrc/InitTweak/GenInit.cc
The file was addedtests/array-container/symtab-collision.cfa
The file was modifiedlibcfa/src/parseargs.cfa
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt
The file was addedtests/array-container/.expect/safety-summary.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-c.txt
The file was modifiedtests/array-container/dimexpr-match.hfa
The file was modifiedsrc/ResolvExpr/ResolveTypeof.h
The file was modifiedsrc/ResolvExpr/Unify.cc
The file was modifiedtests/.expect/typedefRedef-ERR1.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt
The file was modifiedsrc/Validate/GenericParameter.cpp
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa.txt
The file was modifiedtests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt
The file was addedtests/array-container/safety-summary.cfa
The file was addedtests/array-container/.expect/symtab-collision.txt
Commit 3bf9d101e125e952f9abb0271db2208c769320f8 by Peter Buhr
change printf to sout
The file was modifiedtests/exceptions/virtual-poly.cfa
The file was modifiedtests/exceptions/polymorphic.cfa
The file was modifiedtests/exceptions/virtual-cast.cfa
The file was modifiedtests/exceptions/resume.cfa
The file was modifiedtests/exceptions/trash.cfa
The file was modifiedtests/exceptions/terminate.cfa
The file was modifiedtests/exceptions/conditional.cfa
The file was modifiedtests/exceptions/data-except.cfa
The file was modifiedtests/exceptions/except-io.hfa
The file was modifiedtests/exceptions/interact.cfa
The file was modifiedtests/exceptions/defaults.cfa
The file was modifiedtests/exceptions/cancel/coroutine.cfa
The file was modifiedtests/exceptions/finally.cfa
The file was modifiedtests/exceptions/cancel/thread.cfa
The file was modifiedtests/exceptions/.expect/polymorphic.txt