Skip to content
Success

Changes

Summary

  1. Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions. (details)
  2. suppress reference conversion warning (details)
  3. Mitigate several unused-declaration warnings in generated code. (details)
  4. Make array and list headers free of warnings upon include and as used in a libcfa build (details)
  5. formatting (details)
  6. add citation (details)
  7. temporarily add citations to background chapter (details)
  8. Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build. (details)
  9. Begin an exploratory meta-test of warning detection.  This change will be reversed. (details)
Commit 532c0cdf854a68fe4bfc7de28c87688b31f9c5ed by ajbeach
Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions.
The file was modifiedlibcfa/prelude/builtins.c
Commit f979f0ba3e91f53f961ddfb6b75fd4b82f468087 by f37yu
suppress reference conversion warning
The file was modifiedsrc/GenPoly/Lvalue.cpp
Commit 35cc6d4773c9705fbac2d875d39d6aa6120e8f80 by Michael Brooks
Mitigate several unused-declaration warnings in generated code.

See tests/nowarn/unused for the specific cases.
The file was modifiedtests/.expect/attributes.x64.txt
The file was modifiedtests/.expect/extension.x64.txt
The file was modifiedtests/.expect/attributes.arm64.txt
The file was modifiedtests/.expect/declarationSpecifier.arm64.txt
The file was modifiedtests/.expect/gccExtensions.arm64.txt
The file was modifiedtests/.expect/KRfunctions.x86.txt
The file was modifiedtests/.expect/KRfunctions.arm64.txt
The file was modifiedsrc/Validate/ImplementEnumFunc.cpp
The file was modifiedtests/.expect/declarationSpecifier.x64.txt
The file was modifiedtests/.expect/extension.x86.txt
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedtests/.expect/functions.x86.txt
The file was modifiedsrc/GenPoly/Box.cpp
The file was modifiedtests/.expect/attributes.x86.txt
The file was modifiedtests/.expect/functions.x64.txt
The file was modifiedtests/.expect/gccExtensions.x64.txt
The file was modifiedtests/.expect/extension.arm64.txt
The file was addedtests/nowarn/unused.cfa
The file was modifiedtests/.expect/functions.arm64.txt
The file was modifiedtests/.expect/gccExtensions.x86.txt
The file was addedtests/nowarn/.expect/unused.txt
The file was modifiedsrc/Validate/CompoundLiteral.cpp
The file was modifiedtests/.expect/declarationSpecifier.x86.txt
The file was modifiedtests/.expect/KRfunctions.x64.txt
Commit 8ee211d29f63ed8c631e2d37e8961781dfa45eaf by Michael Brooks
Make array and list headers free of warnings upon include and as used in a libcfa build
The file was addedtests/nowarn/.expect/list.txt
The file was modifiedlibcfa/src/collections/array.hfa
The file was modifiedlibcfa/src/collections/list.hfa
The file was addedtests/nowarn/array.cfa
The file was addedtests/nowarn/list.cfa
The file was addedtests/nowarn/.expect/array.txt
Commit ad8b6dfa61caa02d1ecf946bdd5412d385adbed4 by Peter Buhr
formatting
The file was modifiedlibcfa/prelude/builtins.c
Commit 13887ac2bdbe8d74fb76251860ab3ce811ef25c4 by Peter Buhr
add citation
The file was modifieddoc/bibliography/pl.bib
Commit 63b32f9d78b543462283bbd288cb90544ee8db78 by Peter Buhr
temporarily add citations to background chapter
The file was modifieddoc/theses/fangren_yu_MMath/background.tex
Commit 5db913f46e93b12eef193c9ac4a156a1a6b97739 by Michael Brooks
Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build.
The file was modifiedlibcfa/src/collections/array.hfa
Commit 135197188ba1bdea9a919286e6c4ac411a03bb8c by Michael Brooks
Begin an exploratory meta-test of warning detection.  This change will be reversed.

Warnings from socket.h (about static-inline lifecycle functions "used in inline function 'recvfrom' which is not static") are known to be manually reproducibe with nodebug builds but not debug builds.  This experiment asks: Will our present-state CI rig flag it?
The file was addedtests/nowarn/socket.cfa
The file was addedtests/nowarn/.expect/socket.txt

Summary

  1. proofread background chapter, and other small changes (details)
  2. Thesis, array: Add section Dimension Parameter Implementation (details)
  3. Thesis, background, array: flesh out and rework section Array Parameter Declaration (details)
  4. Move enum trait declaration to builtin/c (details)
  5. reduce topsep for enumitem (details)
  6. proofread new material in background and array chapters (details)
  7. Thesis, background, array: clarify C laxed inner dimension checking (details)
  8. Thesis, array: add section on lifecycle (details)
  9. generalize cfa-code indentation (xleftmargin) (details)
  10. add starting section 5.1 for strings (details)
  11. proofread section Array lifecycle (details)
  12. Array, lifecycle: more proofreading (details)
  13. Thesis, string, intro: provide missing facts (details)
  14. updates to uC++toCFA document (details)
  15. temporary update of exponentiation operator due to possible bug in box-pass (details)
  16. remove assertions from rational structure declaration (details)
  17. formatting (details)
  18. add label (details)
  19. work on starting chapter, fix spelling (details)
  20. more string changes (details)
  21. Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case. (details)
  22. add citation for First-Come-First-Served paper (details)
  23. rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg (details)
  24. update test programs with actor name change (details)
  25. first attempt at updating barrier lock (details)
  26. update barrier test programs after changes (details)
  27. update uC++toCFA manual with actor changes (details)
  28. formatting (details)
  29. attempt to fix const reference conversion (details)
  30. add barrier sectio uC++ to CFA cheat sheet (details)
  31. change how latex code generated from sharing-demo.cfa (details)
  32. more updates to the uC++toCFA document (details)
  33. updates to barrier.hfa (details)
  34. empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax (details)
  35. first attempt at tests for tuple arrays (details)
  36. Thesis, string: add missing figure (details)
  37. With{Stmts,Decls}ToAdd how has an -X version like WithSymbolTableX. Although these -X versions might be useful can could possibly be removed in the future. (This is a therapy commit.) (details)
  38. proofreading on string chapter (details)
  39. CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working. (details)
  40. proofread chapter 3 (details)
  41. Address-of is now moved under casts of any type and is done so recursively. Solves trac#166 and a modified version of the code there has been added as a test. (details)
  42. test patch for respecting lexical priority in waitfor statement (details)
  43. add isMember to DeclWithType (details)
  44. formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control (details)
  45. Moved the non-trivial bodies of the power (exponental) functions out of the prelude and into the library. They have caused some issues in debugging there. (details)
  46. Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic. (details)
  47. small changes to rational (details)
  48. Fix #276; add support for c-array parameters using dependent lengths. (details)
  49. Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft. (details)
  50. Try to fix arch-specific test failure from my last commit (details)
  51. Try 2 to fix arch-specific test failure from my last commit (details)
  52. fix problem with future seperate compilation (details)
  53. remove BadQualifiersZeroOne warning message (details)
  54. Move enum.hfa/enum.cfa to prelude (details)
  55. update test expect (details)
  56. update .expect files for x86 architecture (details)
  57. add description of closed trait types (details)
  58. thesis proofreading (details)
  59. remove line numbering (details)
  60. formatting (details)
  61. formatting, temporarily remove quasi_void (details)
  62. more proofreading of intro chapter (details)
  63. add some initial background material (details)
  64. found some initial material for section Polymorphism (details)
  65. Follow up reformatting to builtins. Just a few extra and missing spaces. (details)
  66. Removed some unused (commented) code from the builtins. (details)
  67. Resurrect test of zero_t/one_t and capture present state of ++ (details)
  68. Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor (details)
  69. harmonize comments in test program (details)
  70. formatting (details)
  71. Fix support for partial autogen. (details)
  72. Accept meta-test, expecting the buid to fail. (details)
  73. Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions. (details)
  74. Enable partial autogen for types declared inside functions. (details)
  75. Take test-expect change missed in last commit. (details)
  76. Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions. (details)
  77. suppress reference conversion warning (details)
  78. Mitigate several unused-declaration warnings in generated code. (details)
  79. Make array and list headers free of warnings upon include and as used in a libcfa build (details)
  80. formatting (details)
  81. add citation (details)
  82. temporarily add citations to background chapter (details)
  83. Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build. (details)
Commit 520fa9e26472c80c05dc91004ccb5b6373b697da by Peter Buhr
proofread background chapter, and other small changes
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
The file was modifieddoc/theses/mike_brooks_MMath/intro.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c
Commit b7921d88c955a58495290b51532be380b26d56d0 by Michael Brooks
Thesis, array: Add section Dimension Parameter Implementation
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
Commit ad9f5931463621e55b660fd57101ba749263b146 by Michael Brooks
Thesis, background, array: flesh out and rework section Array Parameter Declaration
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit b006c51e840218110835b593a1db552fd116ef58 by j82liang
Move enum trait declaration to builtin/c
The file was modifiedlibcfa/src/enum.hfa
The file was modifiedlibcfa/prelude/builtins.c
Commit 63a7394a13129618d8cafe2b8e57aa9c7332e552 by Peter Buhr
reduce topsep for enumitem
The file was modifieddoc/LaTeXmacros/common.tex
The file was modifieddoc/LaTeXmacros/common.sty
Commit c3e41cda7b7a639338faa16c005b96ed95202da9 by Peter Buhr
proofread new material in background and array chapters
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/hello-array.cfa
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/hello-accordion.cfa
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
The file was modifieddoc/theses/mike_brooks_MMath/programs/sharing-demo.cfa
Commit 7d95bce9de502e9d5dd74e87ec42790e93cce18e by Michael Brooks
Thesis, background, array: clarify C laxed inner dimension checking
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit 97ac01d31ef69a7ec76f731dbd7063e7ca876d49 by Michael Brooks
Thesis, array: add section on lifecycle
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
Commit 5ba756c56784919a3f91b36540c5b8bc5d974484 by Peter Buhr
generalize cfa-code indentation (xleftmargin)
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.tex
Commit 174a11a642d13a8e4b4d13b64fca611c622ce2f5 by Peter Buhr
add starting section 5.1 for strings
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit e1107ecfb2798a4e827de7583da6ca99b974d239 by Peter Buhr
proofread section Array lifecycle
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
Commit 04c63401a743dfe8e00dff6cfac46ecbc46c6647 by Michael Brooks
Array, lifecycle: more proofreading
The file was modifieddoc/theses/mike_brooks_MMath/array.tex
Commit 83a581a8f2e532e5f2eb1bec3d03ece122c091e5 by Michael Brooks
Thesis, string, intro: provide missing facts
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit 135a2d8361c24f82280a1727d6e30b5e673a77f2 by Peter Buhr
updates to uC++toCFA document
The file was modifieddoc/uC++toCFA/uC++toCFA.tex
Commit 62595b317d91621c45c86d153903de6fc99feeeb by Peter Buhr
temporary update of exponentiation operator due to possible bug in box-pass
The file was modifiedlibcfa/prelude/builtins.c
Commit 44e2a5aa5a96f0c9166e589208d96cb745e8c930 by Peter Buhr
remove assertions from rational structure declaration
The file was modifiedlibcfa/src/rational.hfa
Commit 74cbaa3e6f4f0cbb41f5add856c29dfb6d5b435b by Peter Buhr
formatting
The file was modifiedlibcfa/src/rational.cfa
Commit 464cfc7f0e9181deec58a830ccf828f4865528bb by Peter Buhr
add label
The file was modifieddoc/theses/mike_brooks_MMath/background.tex
Commit c01a2fda199b83ab494a487398adc9882df46722 by Peter Buhr
work on starting chapter, fix spelling
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit b766c9b7ed206d2e4415fefb1e4ec41121054a51 by Peter Buhr
more string changes
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit 2ae845e9845e67527392a47ddfba7b330ce783b8 by ajbeach
Removed debug output from resolver. Also made the early decision happen a bit earlier since it is a rare case.
The file was modifiedsrc/ResolvExpr/Resolver.cpp
Commit 7e943e1276922a09c13b8d5317d42c0e709b05d0 by Peter Buhr
add citation for First-Come-First-Served paper
The file was modifieddoc/bibliography/pl.bib
Commit 105fb21feb7ada46a7ed958899ddedc55b660ffb by Peter Buhr
rename start_actor_system and stop_actor_system, add implicit messages start_msg and stop_msg
The file was modifiedlibcfa/src/concurrency/actor.hfa
Commit 41882628bfa69f8a243e4ff726329c75f9ba655a by Peter Buhr
update test programs with actor name change
The file was modifiedtests/concurrency/actors/dynamic.cfa
The file was modifiedtests/concurrency/actors/poison.cfa
The file was modifiedtests/concurrency/actors/matrixMultiply.cfa
The file was modifiedtests/concurrency/actors/pingpong.cfa
The file was modifiedtests/concurrency/actors/inherit.cfa
The file was modifiedtests/concurrency/actors/executor.cfa
The file was modifiedtests/concurrency/actors/inline.cfa
The file was modifiedtests/concurrency/actors/static.cfa
The file was modifiedtests/concurrency/actors/types.cfa
Commit a3af522b704f121554569b99e8ea6b30c72e6dd7 by Peter Buhr
first attempt at updating barrier lock
The file was modifiedlibcfa/src/concurrency/barrier.hfa
Commit b5f1e850ceaacb95cf329c64bdd77639759dbc09 by Peter Buhr
update barrier test programs after changes
The file was modifiedtests/concurrency/barrier/order.cfa
Commit 0cb34792deaeef8c8e2053b3b0c6d350f4dbad00 by Peter Buhr
update uC++toCFA manual with actor changes
The file was modifieddoc/uC++toCFA/uC++toCFA.tex
Commit 47174c452bcb61ccfd3e5562b040e07752c6ca43 by Peter Buhr
formatting
The file was modifiedlibcfa/src/rational.cfa
Commit 00f89a68c67ed1f843b1f38ee09f2ca4b4faf670 by f37yu
attempt to fix const reference conversion
The file was modifiedsrc/ResolvExpr/ConversionCost.cpp
The file was modifiedsrc/GenPoly/Lvalue.cpp
Commit 1b56a7f1ec8a8295cfd6da48a399337c7a2241e7 by Peter Buhr
add barrier sectio uC++ to CFA cheat sheet
The file was modifieddoc/uC++toCFA/uC++toCFA.tex
The file was modifieddoc/uC++toCFA/.gitignore
Commit 489d3ba602f6e02e57ae61a5328cf048be74914a by Peter Buhr
change how latex code generated from sharing-demo.cfa
The file was modifieddoc/theses/mike_brooks_MMath/Makefile
The file was addeddoc/theses/mike_brooks_MMath/programs/sharectx.run.cfa
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
The file was removeddoc/theses/mike_brooks_MMath/programs/sharectx-demo.cfa
The file was modifieddoc/theses/mike_brooks_MMath/programs/sharing-demo.cfa
Commit e255902b6c478f509fbc1f45806a5de70f2dfb35 by Peter Buhr
more updates to the uC++toCFA document
The file was modifieddoc/uC++toCFA/uC++toCFA.tex
Commit 95707a3317e2c72c999757f8f125a4214c9c2aae by Peter Buhr
updates to barrier.hfa
The file was modifiedlibcfa/src/concurrency/barrier.hfa
Commit dd541394b289c7b2e10561fb39c1ac68606835e9 by Peter Buhr
empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax
The file was modifiedsrc/Parser/parser.yy
Commit ea10f6486dc8251760dd13068c774b2bdbc5495d by Peter Buhr
first attempt at tests for tuple arrays
The file was addedtests/.expect/tuplearray.txt
The file was addedtests/tuplearray.cfa
Commit 0dffe913f0656c8a089161fa8ddbc11348a81020 by Michael Brooks
Thesis, string: add missing figure
The file was addeddoc/theses/mike_brooks_MMath/pictures/memmgr-basic.vsdx
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
The file was addeddoc/theses/mike_brooks_MMath/pictures/memmgr-basic.pdf
Commit ed96731e0151e86950bd43918f4c4873b82f0102 by ajbeach
With{Stmts,Decls}ToAdd how has an -X version like WithSymbolTableX. Although these -X versions might be useful can could possibly be removed in the future. (This is a therapy commit.)
The file was modifiedsrc/GenPoly/Box.cpp
The file was modifiedsrc/Validate/HoistTypeDecls.cpp
The file was modifiedsrc/ControlStruct/ExceptDecl.cpp
The file was modifiedsrc/InitTweak/FixInit.cpp
The file was modifiedsrc/Validate/LinkInstanceTypes.cpp
The file was modifiedsrc/AST/Pass.hpp
The file was modifiedsrc/GenPoly/Lvalue.cpp
The file was modifiedsrc/InitTweak/GenInit.cpp
The file was modifiedsrc/Validate/HoistStruct.cpp
The file was modifiedsrc/Concurrency/Actors.cpp
The file was modifiedsrc/ResolvExpr/Resolver.cpp
The file was modifiedsrc/Tuples/TupleExpansion.cpp
The file was modifiedsrc/Concurrency/Waituntil.cpp
The file was modifiedsrc/Concurrency/Corun.cpp
The file was modifiedsrc/Validate/ReplaceTypedef.cpp
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedsrc/Concurrency/Keywords.cpp
The file was modifiedsrc/Virtual/VirtualDtor.cpp
The file was modifiedsrc/GenPoly/Specialize.cpp
The file was modifiedsrc/GenPoly/InstantiateGeneric.cpp
The file was modifiedsrc/Validate/ImplementEnumFunc.cpp
The file was modifiedsrc/Validate/CompoundLiteral.cpp
Commit 1b397059ca9bba0e6d2be3c2f5dc6c2c51c512d7 by Peter Buhr
proofreading on string chapter
The file was modifieddoc/theses/mike_brooks_MMath/uw-ethesis.bib
The file was modifieddoc/theses/mike_brooks_MMath/string.tex
Commit ecf38123a0e4f99e0d73b57ef72d89c766288f78 by ajbeach
CastExpr reorganization and clean-up in Lvalue. I kept these from a fix that is not working.
The file was modifiedsrc/Parser/ExpressionNode.cpp
The file was modifiedsrc/CodeGen/CodeGenerator.cpp
The file was modifiedsrc/AST/Expr.hpp
The file was modifiedsrc/GenPoly/Lvalue.cpp
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/Parser/parser.yy
The file was modifiedsrc/Parser/ExpressionNode.hpp
Commit 7c80a869f88c3730d39d4639d2681dec3b8b85b6 by Peter Buhr
proofread chapter 3
The file was modifieddoc/theses/fangren_yu_MMath/content1.tex
Commit bdf4065045c0651b196411ff05d1d2c353dbfa1d by ajbeach
Address-of is now moved under casts of any type and is done so recursively. Solves trac#166 and a modified version of the code there has been added as a test.
The file was addedtests/.expect/poly-member.txt
The file was modifiedsrc/GenPoly/Lvalue.cpp
The file was addedtests/poly-member.cfa
Commit 1cd28391383d23e6aebd5fe961764d41dbd475bf by Peter Buhr
test patch for respecting lexical priority in waitfor statement
The file was modifiedlibcfa/src/concurrency/monitor.cfa
Commit 956b3895add218f5721b1b7727feaa99429d151b by j82liang
add isMember to DeclWithType
The file was modifiedsrc/AST/Decl.hpp
Commit e25ef8c9bc1cec34146129133c0654aaa9d5c268 by Peter Buhr
formatting, first attempt to add priority order to waitfor selection, change to for-loops to use CFA for-control
The file was modifiedlibcfa/src/concurrency/monitor.cfa
Commit 108b2c75260d5b15cab02e847700d0ca68637ebe by ajbeach
Moved the non-trivial bodies of the power (exponental) functions out of the prelude and into the library. They have caused some issues in debugging there.
The file was addedlibcfa/src/math.cfa
The file was modifiedtests/.expect/declarationSpecifier.x86.txt
The file was modifiedtests/.expect/gccExtensions.x64.txt
The file was modifiedtests/.expect/declarationSpecifier.arm64.txt
The file was modifiedtests/.expect/extension.arm64.txt
The file was modifiedlibcfa/src/Makefile.am
The file was modifiedtests/.expect/gccExtensions.x86.txt
The file was modifiedtests/.expect/extension.x86.txt
The file was modifiedtests/.expect/KRfunctions.arm64.txt
The file was modifiedtests/.expect/KRfunctions.x86.txt
The file was modifiedtests/.expect/extension.x64.txt
The file was modifiedtests/.expect/declarationSpecifier.x64.txt
The file was modifiedlibcfa/prelude/builtins.c
The file was modifiedtests/.expect/KRfunctions.x64.txt
The file was modifiedtests/.expect/gccExtensions.arm64.txt
Commit 71f3d451a20b646c3cbac740abcef70143e86e9a by Michael Brooks
Remove unnecessary assertion: printing a rational doesn't require the component type to be arithmetic.

May help (tbd) effort to move enum.hfa to builtins.
The file was modifiedlibcfa/src/rational.hfa
The file was modifiedlibcfa/src/rational.cfa
Commit f5e37a4c897469da283b15ac1ff5c92b0e2aa1d1 by Peter Buhr
small changes to rational
The file was modifiedlibcfa/src/rational.cfa
The file was modifiedlibcfa/src/rational.hfa
Commit 81e768d1c7e5b625cf5e14ca13ea80c649602ad5 by Michael Brooks
Fix #276; add support for c-array parameters using dependent lengths.

Without this fix, declarations like
void f( int m, int n, float[m][n] );
would either
- generate bad C code, with unmangled variable names appearing in the function definition, or
- refuse to resolve a valid-c call of such a function.

tests/array-collections/c-dependent: add direct tests of such cases
tests/tuplearray: activate and expand cases which were blocked on #276
tests/array: activate case fm5y, which was blocked on #276; [noise] adjust source line numbers in .expect
tests/typedefRedef: expand coverage of "error, an array detail is different" cases; [noise] adjust source line numbers in .expect
tests/functions: [noise] adjust .expect to have resolved array sizes (extra casts) in the diffed code dump

The fix is:
- (ResolvExpr/ResolveTypeof, ResolvExpr/Resolver) Resolve the dimension expressions, where they were missed.
- (ResolvExpr/Resolver) Prevent dimension expressions that are bound to other parameters from escaping in the function's type, to where they are out of scope.  In the f example above, redact the type shown to callers from `void (*)(int, int, float[m][n])` to `void (*)(int, int, float[][*])`.
- (ResolvExpr/Unify) Relax the matching rules for such a type, when used at a call site, letting the patameters wildcard type match with the concrete type in scope at the caller's side.
- (Validate/ReplaceTypedef) Apply the former, stricter matching rules to the one place where they are still needed: detecting inconsistent typedefs.
The file was modifiedsrc/Validate/ReplaceTypedef.cpp
The file was modifiedtests/.expect/array-ERR2.txt
The file was modifiedtests/.expect/functions.x86.txt
The file was modifiedtests/.expect/array-ERR3.txt
The file was modifiedtests/array.cfa
The file was modifiedtests/.expect/typedefRedef.txt
The file was modifiedtests/.expect/array-ERR1.txt
The file was modifiedsrc/ResolvExpr/Resolver.cpp
The file was modifiedtests/.expect/functions.x64.txt
The file was modifiedtests/.expect/typedefRedef-ERR1.txt
The file was modifiedtests/.expect/tuplearray.txt
The file was modifiedtests/.expect/array.txt
The file was modifiedsrc/ResolvExpr/Unify.cpp
The file was addedtests/array-collections/.expect/c-dependent.txt
The file was modifiedtests/tuplearray.cfa
The file was modifiedtests/.expect/functions.arm64.txt
The file was addedtests/array-collections/c-dependent.cfa
The file was modifiedtests/typedefRedef.cfa
The file was modifiedsrc/ResolvExpr/ResolveTypeof.cpp
Commit 46c4deae2f30b239301bab9eba643e6846b4983d by ajbeach
Update the enumeration proposal with some updates now that the rework is complete. Deleted the old thesis draft.
The file was removeddoc/proposals/alt-enums.md
The file was removeddoc/proposals/enum.tex
The file was addeddoc/proposals/enums.md
Commit 730992a46db1e678f1efc3eadd79eb3111ea6ef9 by Michael Brooks
Try to fix arch-specific test failure from my last commit
The file was modifiedtests/.expect/functions.x86.txt
Commit 718601e180b4bc52849b853fe3f82c00ceb387e5 by Michael Brooks
Try 2 to fix arch-specific test failure from my last commit
The file was modifiedtests/.expect/functions.x86.txt
Commit 1c0a3a4d74ba8a76960a99c6bd2e33c4e812b46e by Peter Buhr
fix problem with future seperate compilation
The file was modifiedlibcfa/src/concurrency/future.hfa
Commit 41756599bd977a9348309dafb0cb33414fb0ca82 by Peter Buhr
remove BadQualifiersZeroOne warning message
The file was modifiedsrc/Common/SemanticError.hpp
The file was modifiedsrc/Parser/DeclarationNode.cpp
Commit eae8b37d7379001bb81375459612907897447955 by j82liang
Move enum.hfa/enum.cfa to prelude
The file was modifiedtests/.expect/gccExtensions.x64.txt
The file was modifiedtests/.expect/declarationSpecifier.arm64.txt
The file was modifiedsrc/AST/Expr.cpp
The file was modifiedtests/ctrl-flow/loopctrl.cfa
The file was modifiedlibcfa/src/rational.hfa
The file was modifiedlibcfa/prelude/builtins.c
The file was modifiedlibcfa/src/iostream.hfa
The file was modifiedtests/.expect/declarationSpecifier.x64.txt
The file was removedlibcfa/src/enum.cfa
The file was modifiedtests/enum_tests/position.cfa
The file was modifiedtests/.expect/extension.x86.txt
The file was modifiedtests/enum_tests/planet.cfa
The file was modifiedtests/.expect/KRfunctions.x64.txt
The file was modifiedtests/.expect/KRfunctions.arm64.txt
The file was modifiedtests/.expect/extension.x64.txt
The file was modifiedtests/enum_tests/.expect/position.txt
The file was modifiedtests/enum_tests/input.cfa
The file was modifiedtests/.expect/declarationSpecifier.x86.txt
The file was modifiedlibcfa/src/iostream.cfa
The file was modifiedlibcfa/src/rational.cfa
The file was modifiedtests/enum_tests/enumInlineValue.cfa
The file was modifiedtests/enum_tests/voidEnum.cfa
The file was modifiedtests/.expect/gccExtensions.arm64.txt
The file was removedlibcfa/src/enum.hfa
The file was modifiedsrc/Parser/TypeData.cpp
The file was modifiedtests/enum_tests/typedIntEnum.cfa
The file was modifiedlibcfa/src/Makefile.am
The file was modifiedtests/enum_tests/anonymous.cfa
Commit b38d24a1bffd852e617d5451d0e6f225e7728a47 by j82liang
update test expect
The file was modifiedtests/.expect/extension.arm64.txt
Commit 5b6693803d0128c2249143f4e6a681d4b2f1ff8f by Peter Buhr
update .expect files for x86 architecture
The file was modifiedtests/.expect/KRfunctions.x86.txt
The file was modifiedtests/.expect/gccExtensions.x86.txt
Commit 9861ef2849cdeb13ed3a9b854ff6c2aadd6e007f by f37yu
add description of closed trait types
The file was modifieddoc/theses/fangren_yu_MMath/performance.tex
Commit b4c6e10548edd581adb979906d0129330e8320ff by Peter Buhr
thesis proofreading
The file was modifieddoc/bibliography/pl.bib
The file was modifieddoc/theses/fangren_yu_MMath/content2.tex
The file was modifieddoc/theses/fangren_yu_MMath/intro.tex
The file was modifieddoc/theses/fangren_yu_MMath/content1.tex
Commit 0b98381302a3d4da59cfcaf5faa800dc0727fdac by Peter Buhr
remove line numbering
The file was modifieddoc/theses/fangren_yu_COOP_S20/Report.tex
Commit 6503ef4f201545a960c07a4385e562f244961952 by Peter Buhr
formatting
The file was modifieddoc/user/user.tex
Commit 9f7285e5547fb00a14b8c717d94e50278e13e78f by Peter Buhr
formatting, temporarily remove quasi_void
The file was modifiedlibcfa/prelude/builtins.c
Commit bc999b7629a19ed784069d5c7e8020cc3cf0b427 by Peter Buhr
more proofreading of intro chapter
The file was modifieddoc/theses/fangren_yu_MMath/intro.tex
Commit fbb5bddaaa349c1b387c0a56e42a38eb8e7edb10 by Peter Buhr
add some initial background material
The file was modifieddoc/theses/fangren_yu_MMath/background.tex
Commit 18a7dcf12cb8d61e7214bb8aab1e4fe441d56c0e by Peter Buhr
found some initial material for section Polymorphism
The file was modifieddoc/theses/fangren_yu_MMath/intro.tex
Commit 50be644477314cc6ae43b906adadec8e8f5b156e by ajbeach
Follow up reformatting to builtins. Just a few extra and missing spaces.
The file was modifiedlibcfa/prelude/builtins.c
Commit 283fbddd969525e9694abcb709bc45b284c7f7ea by ajbeach
Removed some unused (commented) code from the builtins.
The file was modifiedlibcfa/prelude/builtins.c
Commit fd0a1799edd605d4d425f453cbf773d11bb8d520 by Michael Brooks
Resurrect test of zero_t/one_t and capture present state of ++
The file was addedtests/zero_one.cfa
The file was removedtests/zombies/zero_one.c
The file was addedtests/.expect/zero_one.txt
Commit 8e4f34e335930cfb7ffa7e01dbe76b95b6b64f61 by Michael Brooks
Allow builtin ++ from += overloads, and similar, to work on a type witout a parameterless constructor
The file was modifiedtests/zero_one.cfa
The file was modifiedlibcfa/prelude/builtins.c
Commit 6e6e372e9ff4bb7a4900282faea194e52a362340 by Peter Buhr
harmonize comments in test program
The file was modifiedtests/zero_one.cfa
Commit ec2222049a9fca3d80799f50564f03f551e6255d by Peter Buhr
formatting
The file was modifiedtests/concurrency/waituntil/channel_close.cfa
Commit 64f3b9fefe9bf3caf101090443066ca16169610e by Michael Brooks
Fix support for partial autogen.

Partial autogen means that some lifecycle functions are possible to generate, and needed, while others are impossible to generate, but unneeded.  It is a valid situation that a user can implicitly request.

Previous handling of "impossible to generate" left the function in a zombie state, where it could show up as an alternative later.  This zombie state is problematic handling caused by a compiler bug.  Without the fix, the added test fails by creating zombie states.

This change is also a prerequsite for an upcoming change to avoid gcc warnings by not emitting autogen forward declarations.
The file was modifiedsrc/AST/SymbolTable.hpp
The file was modifiedtests/Makefile.am
The file was modifiedsrc/ResolvExpr/Resolver.cpp
The file was modifiedsrc/AST/SymbolTable.cpp
The file was addedtests/raii/partial.cfa
The file was addedtests/raii/.expect/partial.txt
The file was addedtests/raii/.expect/partial-ERR1.txt
Commit e797179240a99bdf7b97c53740f6886b84225a18 by Michael Brooks
Accept meta-test, expecting the buid to fail.

The fix is forthcoming.

The new test style (nowarn) checks for the absence of warnings.  The team has seen inconsistent results with who sees what warning.  This meta-test ensures that the checkin-triggered testing can notice a warning.  The fix for this failing test will be to make the warning go away.
The file was addedtests/nowarn/no-autogen.cfa
The file was modifiedtests/Makefile.am
The file was addedtests/nowarn/.expect/no-autogen.txt
Commit 5d3d281c4eabcd465b84b7b5001ee86b376872d1 by Michael Brooks
Remove autogen forward declarations, which are never needed, and cause warnings about static declarations without definitions.

Intended to fix the failing test from previous commit.

Autogen forward declarations are never needed because they do not depend on each other, much less with mutual recursion.

Consequences:
- tests/.expect/(5 tests).(3 archs).txt:  Accept generated code that lacks autogen forward declarations
- libcfa/src/concurrency/thread.*:  Remove unused dependency on destructor from constructor (via __thrd_start), by splitting trait is_thread with is_basic_thread
The file was modifiedtests/.expect/declarationSpecifier.arm64.txt
The file was modifiedtests/.expect/extension.x86.txt
The file was modifiedlibcfa/src/concurrency/thread.cfa
The file was modifiedtests/.expect/KRfunctions.arm64.txt
The file was modifiedtests/.expect/attributes.arm64.txt
The file was modifiedtests/.expect/declarationSpecifier.x86.txt
The file was modifiedtests/.expect/declarationSpecifier.x64.txt
The file was modifiedtests/.expect/extension.arm64.txt
The file was modifiedtests/.expect/KRfunctions.x86.txt
The file was modifiedtests/.expect/extension.x64.txt
The file was modifiedtests/.expect/functions.x86.txt
The file was modifiedtests/.expect/functions.arm64.txt
The file was modifiedtests/.expect/attributes.x86.txt
The file was modifiedtests/.expect/KRfunctions.x64.txt
The file was modifiedtests/.expect/attributes.x64.txt
The file was modifiedtests/.expect/functions.x64.txt
The file was modifiedlibcfa/src/concurrency/thread.hfa
The file was modifiedsrc/Validate/Autogen.cpp
Commit 36dfdac15a1061978a1b23f2ae753434d890fdd1 by Michael Brooks
Enable partial autogen for types declared inside functions.

Done by giving pass cores finer grained error-recovery points, which causes Resolver's existing error-recovery logic to kick in for autogens within function bodies.
The file was modifiedtests/raii/partial.cfa
The file was modifiedsrc/AST/Pass.impl.hpp
The file was modifiedtests/raii/.expect/partial.txt
Commit bad15f7b4c024353d3e0e2074c7acde3860848b9 by Michael Brooks
Take test-expect change missed in last commit.
The file was modifiedtests/raii/.expect/partial-ERR1.txt
Commit 532c0cdf854a68fe4bfc7de28c87688b31f9c5ed by ajbeach
Small bit of clean-up on the enum functions in builtins. Mostly reducing the assertions on functions.
The file was modifiedlibcfa/prelude/builtins.c
Commit f979f0ba3e91f53f961ddfb6b75fd4b82f468087 by f37yu
suppress reference conversion warning
The file was modifiedsrc/GenPoly/Lvalue.cpp
Commit 35cc6d4773c9705fbac2d875d39d6aa6120e8f80 by Michael Brooks
Mitigate several unused-declaration warnings in generated code.

See tests/nowarn/unused for the specific cases.
The file was modifiedsrc/Validate/ImplementEnumFunc.cpp
The file was modifiedtests/.expect/declarationSpecifier.x64.txt
The file was modifiedsrc/Validate/Autogen.cpp
The file was modifiedtests/.expect/gccExtensions.x64.txt
The file was modifiedtests/.expect/functions.x86.txt
The file was modifiedsrc/Validate/CompoundLiteral.cpp
The file was modifiedtests/.expect/KRfunctions.arm64.txt
The file was modifiedtests/.expect/KRfunctions.x86.txt
The file was modifiedsrc/GenPoly/Box.cpp
The file was modifiedtests/.expect/functions.arm64.txt
The file was modifiedtests/.expect/gccExtensions.arm64.txt
The file was modifiedtests/.expect/declarationSpecifier.x86.txt
The file was modifiedtests/.expect/attributes.arm64.txt
The file was modifiedtests/.expect/extension.x86.txt
The file was modifiedtests/.expect/extension.arm64.txt
The file was modifiedtests/.expect/functions.x64.txt
The file was modifiedtests/.expect/attributes.x64.txt
The file was modifiedtests/.expect/gccExtensions.x86.txt
The file was modifiedtests/.expect/declarationSpecifier.arm64.txt
The file was modifiedtests/.expect/extension.x64.txt
The file was addedtests/nowarn/.expect/unused.txt
The file was addedtests/nowarn/unused.cfa
The file was modifiedtests/.expect/attributes.x86.txt
The file was modifiedtests/.expect/KRfunctions.x64.txt
Commit 8ee211d29f63ed8c631e2d37e8961781dfa45eaf by Michael Brooks
Make array and list headers free of warnings upon include and as used in a libcfa build
The file was addedtests/nowarn/list.cfa
The file was modifiedlibcfa/src/collections/array.hfa
The file was addedtests/nowarn/array.cfa
The file was modifiedlibcfa/src/collections/list.hfa
The file was addedtests/nowarn/.expect/list.txt
The file was addedtests/nowarn/.expect/array.txt
Commit ad8b6dfa61caa02d1ecf946bdd5412d385adbed4 by Peter Buhr
formatting
The file was modifiedlibcfa/prelude/builtins.c
Commit 13887ac2bdbe8d74fb76251860ab3ce811ef25c4 by Peter Buhr
add citation
The file was modifieddoc/bibliography/pl.bib
Commit 63b32f9d78b543462283bbd288cb90544ee8db78 by Peter Buhr
temporarily add citations to background chapter
The file was modifieddoc/theses/fangren_yu_MMath/background.tex
Commit 5db913f46e93b12eef193c9ac4a156a1a6b97739 by Michael Brooks
Work around #269 in array bound-check printing, to avoid 32-bit-specific warning.  Try to fix nightly build.
The file was modifiedlibcfa/src/collections/array.hfa