# # ChangeLog for src/SymTab # # Generated by Trac 1.2.1 # May 19, 2024, 9:09:43 PM Tue, 17 Jul 2018 21:19:18 GMT Rob Schluntz [2f84692] * src/SymTab/Validate.cc (modified) * src/prelude/sync-builtins.cf (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 17 Jul 2018 21:13:51 GMT Rob Schluntz [8a3ecb9] * src/SymTab/Validate.cc (modified) Pass type qualifiers from qualified type to actual type Tue, 17 Jul 2018 13:59:25 GMT Rob Schluntz [95d09bdb] * src/SymTab/Validate.cc (modified) Hoist aggregates defined as part of a compound literal Thu, 12 Jul 2018 16:01:31 GMT Rob Schluntz [d53772d] * src/SymTab/FixFunction.cc (modified) Transfer location from function to object in FixFunction [fixes #98] Tue, 10 Jul 2018 19:53:38 GMT Rob Schluntz [e82ef13] * src/SymTab/Validate.cc (modified) Transfer location from typedef instance to actual type [fixes #97] Mon, 09 Jul 2018 14:31:54 GMT Rob Schluntz [0bcc2b7] * src/SymTab/Validate.cc (modified) Fix handling of traits and TypeDecls in ReplaceTypedef Mon, 09 Jul 2018 14:31:04 GMT Rob Schluntz [062e8df] * src/SymTab/Validate.cc (modified) Add error checks for nested types Thu, 28 Jun 2018 19:29:37 GMT Rob Schluntz [a12c81f3] * src/SymTab/Validate.cc (modified) Replace qualified types with the actual type Thu, 28 Jun 2018 19:27:34 GMT Rob Schluntz [69918cea] * src/SymTab/Validate.cc (modified) Add new EliminateTypedef pass that just removes typedefs from AST Thu, 28 Jun 2018 19:27:02 GMT Rob Schluntz [afcb0a3] * src/SymTab/Validate.cc (modified) Ignore QualifiedType children in LinkReferenceToTypes Thu, 28 Jun 2018 19:10:22 GMT Rob Schluntz [48ed81c] * src/SymTab/Validate.cc (modified) Rename EliminateTypedef to ReplaceTypedef and add TypedefDecls for ... Thu, 28 Jun 2018 19:06:48 GMT Rob Schluntz [d419d8e] * src/SymTab/Validate.cc (modified) Rename nested types when hoisting Thu, 28 Jun 2018 18:39:21 GMT Rob Schluntz [15f5c5e] * src/SymTab/Validate.cc (modified) Rename LinkNestedTypes to HoistTypeDecls Thu, 28 Jun 2018 16:39:08 GMT Rob Schluntz [e73becf] * src/SymTab/Mangler.cc (modified) Mangle qualified type names Tue, 26 Jun 2018 20:26:09 GMT Rob Schluntz [b16923d] * src/SymTab/Validate.cc (modified) Fix type linking for empty SUEs Tue, 26 Jun 2018 17:17:11 GMT Rob Schluntz [ed34540] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Update Indexer handling for typedefs Fri, 22 Jun 2018 19:43:19 GMT Rob Schluntz [0b3b2ae] * src/CodeGen/CodeGenerator.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Minor code cleanup Tue, 19 Jun 2018 18:13:34 GMT Rob Schluntz [9a7a3b6] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix lookup{SUE}AtScope functions to look in only a specific scope and ... Thu, 14 Jun 2018 20:43:52 GMT Rob Schluntz [29f9e20] * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Reorganize validate passes and reduce scope of HoistStruct pass Thu, 14 Jun 2018 20:21:48 GMT Rob Schluntz [589a70b] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Indexer.cc (modified) * src/prelude/prelude.cf (modified) Minor cleanup Tue, 12 Jun 2018 15:26:23 GMT Rob Schluntz [eaa6430] * src/SymTab/Validate.cc (modified) Minor cleanup Mon, 11 Jun 2018 17:49:51 GMT Rob Schluntz [1057e3d] * src/SymTab/Indexer.cc (modified) Fix removeSpecialOverrides to delete default constructor and field ... Mon, 04 Jun 2018 15:54:28 GMT Rob Schluntz [0a75b77] * src/SymTab/Indexer.cc (modified) * src/tests/raii/.expect/ctor-autogen-ERR1.txt (modified) Simplify removeSpecialOverrides and modify it to delete functions ... Thu, 31 May 2018 14:41:38 GMT Rob Schluntz [25fcb84] * src/ControlStruct/Mutate.cc (modified) * src/ControlStruct/Mutate.h (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Validate.cc (modified) * src/main.cc (modified) Reorder if/for initialization hoisting pass Tue, 29 May 2018 19:38:01 GMT Rob Schluntz [3530f39a] * src/SymTab/Mangler.cc (modified) Fix mangling for float80/128 Tue, 29 May 2018 19:26:31 GMT Rob Schluntz [054514d] * Jenkins/TestRegen (modified) * Jenkinsfile (modified) * README (modified) * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/related_papers/Buhr94.pdf (added) * src/CodeGen/CodeGenerator.cc (modified) * src/Common/Heap.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/prelude/Makefile.am (modified) * src/prelude/Makefile.in (modified) * src/prelude/builtins.def (modified) * src/prelude/prototypes.awk (modified) * src/prelude/prototypes.sed (modified) * src/prelude/sync-builtins.cf (added) * src/tests/.expect/io1.txt (added) * src/tests/.expect/io2.txt (moved) * src/tests/.expect/math1.x64.txt (modified) * src/tests/.expect/math1.x86.txt (modified) * src/tests/.expect/math2.x64.txt (modified) * src/tests/.expect/math2.x86.txt (modified) * src/tests/.expect/math3.x64.txt (modified) * src/tests/.expect/math3.x86.txt (modified) * src/tests/.expect/math4.x64.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/builtins/.expect/sync.txt (added) * src/tests/builtins/sync.c (added) * src/tests/concurrent/coroutineYield.c (modified) * src/tests/concurrent/examples/datingService.c (modified) * src/tests/concurrent/examples/matrixSum.c (modified) * src/tests/concurrent/signal/block.c (modified) * src/tests/concurrent/signal/disjoint.c (modified) * src/tests/concurrent/signal/wait.c (modified) * src/tests/io1.c (added) * src/tests/io2.c (moved) * src/tests/math1.c (modified) * src/tests/math2.c (modified) * src/tests/math3.c (modified) * src/tests/math4.c (added) * src/tests/preempt_longrun/Makefile.am (modified) * src/tests/preempt_longrun/Makefile.in (modified) * src/tests/preempt_longrun/create.c (modified) * src/tests/preempt_longrun/enter.c (modified) * src/tests/preempt_longrun/enter3.c (modified) * src/tests/preempt_longrun/processor.c (modified) * src/tests/preempt_longrun/stack.c (modified) * src/tests/preempt_longrun/yield.c (modified) * src/tests/test.py (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Tue, 29 May 2018 18:03:34 GMT Rob Schluntz [96812c0] * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) Minor cleanup Tue, 29 May 2018 18:02:47 GMT Rob Schluntz [3ed994e] * src/CodeGen/CodeGenerator.cc (modified) * src/Common/PassVisitor.h (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/InitializerNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/parser.yy (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) Push deleted decls through the system Tue, 29 May 2018 14:50:03 GMT Rob Schluntz [4ee3b0c1] * src/Parser/TypeData.cc (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) Push __float80/__float128 through the system Fri, 04 May 2018 15:01:48 GMT Rob Schluntz [3f024c9] * src/SymTab/Indexer.cc (modified) * src/SymTab/Mangler.cc (modified) Mangle function pointers the same as functions to prevent function ... Tue, 01 May 2018 18:43:01 GMT Rob Schluntz [f465f0e] * src/SymTab/Mangler.cc (modified) Mangle trait instances to prevent indexer errors before traits are ... Mon, 30 Apr 2018 15:59:07 GMT Rob Schluntz [1a3eab8] * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-bench.c (modified) * doc/papers/general/evaluation/c-pair.c (modified) * doc/papers/general/evaluation/c-pair.h (modified) * doc/papers/general/evaluation/c-print.c (modified) * doc/papers/general/evaluation/c-print.h (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/c-stack.h (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Statement.cc (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) * src/tests/coroutine/fibonacci.c (modified) * src/tests/user_literals.c (modified) Merge branch 'master' into fix-reference-overloading Mon, 30 Apr 2018 15:08:10 GMT Rob Schluntz [b9c432f] * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-bench.c (modified) * doc/papers/general/evaluation/c-pair.c (modified) * doc/papers/general/evaluation/c-pair.h (modified) * doc/papers/general/evaluation/c-print.c (modified) * doc/papers/general/evaluation/c-print.h (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/c-stack.h (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * src/InitTweak/FixInit.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Statement.cc (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/coroutine (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/iostream (modified) * src/libcfa/iostream.c (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/literals.x64.txt (modified) * src/tests/.expect/literals.x86.txt (modified) * src/tests/.expect/user_literals.txt (modified) * src/tests/concurrent/examples/.expect/boundedBufferEXT.txt (modified) * src/tests/concurrent/examples/boundedBufferEXT.c (modified) * src/tests/concurrent/thread.c (modified) * src/tests/coroutine/fibonacci.c (modified) * src/tests/user_literals.c (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Mon, 30 Apr 2018 15:07:21 GMT Rob Schluntz [c0453ca3] * src/SymTab/Mangler.cc (modified) * src/tests/.expect/KRfunctions.x64.txt (modified) * src/tests/.expect/attributes.x64.txt (modified) * src/tests/.expect/declarationSpecifier.x64.txt (modified) * src/tests/.expect/functions.x64.txt (modified) * src/tests/functions.c (modified) Remove reference type mangling to prevent reference and non-reference ... Sat, 28 Apr 2018 14:33:07 GMT Peter A. Buhr [6926a6d] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) fixes for gcc-7/8 Wed, 25 Apr 2018 18:11:21 GMT Rob Schluntz [1da22500] * src/SymTab/Mangler.cc (modified) Minor cleanup Wed, 18 Apr 2018 21:15:19 GMT Rob Schluntz [b2da0574] * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) Fix missing struct definition for empty struct with chained variable ... Tue, 10 Apr 2018 23:08:50 GMT Rob Schluntz [bbf3fda] * src/SymTab/Validate.cc (modified) * src/libcfa/stdlib.c (modified) Use ForallFixer on every FunctionType Tue, 03 Apr 2018 17:58:10 GMT Rob Schluntz [0f40912] * src/SymTab/Validate.cc (modified) Hoist _Static_assert declarations from struct/union bodies Wed, 28 Mar 2018 20:46:54 GMT Rob Schluntz [3d2b7bc] * src/CodeGen/OperatorTable.cc (modified) * src/CodeGen/OperatorTable.h (modified) * src/SymTab/Validate.cc (modified) * src/tests/operators.c (modified) Check for operator-as-object errors Wed, 28 Feb 2018 21:48:22 GMT Thierry Delisle [a16764a6] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeTools/DeclStats.cc (modified) * src/CodeTools/TrackLoc.cc (modified) * src/Common/ErrorObjects.h (added) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/MLEMutator.h (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/FindFunction.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Lvalue.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Changed warning system to prepare for toggling warnings Tue, 27 Feb 2018 22:55:01 GMT Rob Schluntz [4b1be68] * src/Concurrency/Keywords.cc (modified) * src/SymTab/AddVisit.h (deleted) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) Remove unused AddVisit.h Wed, 21 Feb 2018 21:07:10 GMT Rob Schluntz [a181494] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Adding cost for reference-to-rvalue conversions Tue, 20 Feb 2018 20:13:40 GMT Rob Schluntz [78d69da7] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Fix build failure on gcc-4.9 Fri, 16 Feb 2018 21:22:25 GMT Rob Schluntz [7c782af] * doc/LaTeXmacros/common.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/libcfa/bits/cfatime.h (added) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/alarm.h (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/tests/.expect/alloc.txt (modified) * src/tests/alloc.c (modified) * src/tests/raii/.expect/dtor-early-exit-ERR2.txt (modified) Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa /cfa-cc Fri, 16 Feb 2018 19:36:29 GMT Thierry Delisle [0b0f1dd] * src/Parser/TypeData.cc (modified) * src/Parser/TypeData.h (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Declaration.h (modified) Propagated code location to TypeData Thu, 15 Feb 2018 20:58:56 GMT Thierry Delisle [d55d7a6] * src/CodeGen/FixMain.cc (modified) * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/SemanticError.cc (modified) * src/Common/SemanticError.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/LinkageSpec.cc (modified) * src/Parser/LinkageSpec.h (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/CurrentObject.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/TypeSubstitution.h (modified) * src/SynTree/Visitor.h (modified) * src/main.cc (modified) Massive change to errors to enable warnings Thu, 15 Feb 2018 16:39:12 GMT Rob Schluntz [0ac366b] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add Indexer support for deleting identifiers Wed, 14 Feb 2018 18:54:14 GMT Rob Schluntz [490ff5c3] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/Tuples/Explode.h (modified) Minor code cleanup Tue, 13 Feb 2018 16:12:25 GMT Rob Schluntz [54c9000] * src/Common/utility.h (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Attribute.cc (modified) * src/SynTree/Attribute.h (modified) * src/tests/.expect/attributes.x64.txt (modified) Fix missing attribute warning Mon, 12 Feb 2018 19:38:44 GMT Thierry Delisle [2fdbb3b] * src/SymTab/Mangler.cc (modified) * src/libcfa/concurrency/monitor.c (modified) Fixed some warnings Fri, 09 Feb 2018 15:49:57 GMT Rob Schluntz [b8a52f5] * src/SymTab/Mangler.cc (modified) Fix Mangler warning Fri, 09 Feb 2018 15:06:16 GMT Rob Schluntz [4bda2cf] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Refactor FixFunction, add error for void foo(void, ...) Wed, 31 Jan 2018 21:50:37 GMT Rob Schluntz [4670c79] * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Change Indexer::addWith to take a list of expressions instead of a ... Wed, 31 Jan 2018 21:42:38 GMT Rob Schluntz [2cb70aa] * src/Common/PassVisitor.impl.h (modified) * src/SymTab/Indexer.cc (modified) Move Indexer unnamed object check into addId Wed, 17 Jan 2018 16:17:42 GMT Rob Schluntz [d7d9a60] * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Convert Mangler to PassVisitor Wed, 03 Jan 2018 15:40:02 GMT Rob Schluntz [4b97770] * src/ResolvExpr/CurrentObject.cc (modified) * src/SymTab/Validate.cc (modified) Add error handling for C-style initialization of VLAs Thu, 14 Dec 2017 15:44:23 GMT Rob Schluntz [bdad6eb7] * src/SymTab/Validate.cc (modified) Modify HoistStruct to track parent aggregate Thu, 07 Dec 2017 22:06:28 GMT Rob Schluntz [1485c1a] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add anonymous members to Indexer in WithStmt [fixes #69] Tue, 05 Dec 2017 19:17:17 GMT Thierry Delisle [65197c2] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/Common/PassVisitor.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Common/PassVisitor.proto.h (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/typeops.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SynTree/Mutator.cc (modified) * src/SynTree/Mutator.h (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/SynTree.h (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.cc (modified) * src/SynTree/Visitor.h (modified) * src/tests/.expect/declarationErrors.txt (modified) * src/tests/.expect/with-statement.txt (added) * src/tests/with-statement.c (added) Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc Tue, 05 Dec 2017 19:16:53 GMT Thierry Delisle [12d2dc8] * src/SymTab/Validate.cc (modified) * src/tests/concurrent/preempt.c (modified) Removed unnecessary lambada capture in Validate.cc. Temp fix for the ... Mon, 04 Dec 2017 20:36:40 GMT Rob Schluntz [ac57659] * src/SymTab/Indexer.cc (modified) Convert reference-typed with expressions to rvalue when building ... Mon, 04 Dec 2017 16:08:00 GMT Rob Schluntz [497282e] * src/SymTab/Indexer.cc (modified) Strip references when adding with statement to Indexer Fri, 01 Dec 2017 22:12:03 GMT Rob Schluntz [a40d503] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add base expression to Indexer MangleTable and implement WithStmt ... Fri, 01 Dec 2017 19:55:41 GMT Rob Schluntz [3ca540f] * doc/proposals/concurrency/text/basics.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/frontpgs.tex (modified) * doc/proposals/concurrency/text/future.tex (modified) * doc/proposals/concurrency/text/internals.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/results.tex (modified) * doc/proposals/concurrency/text/together.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/FixNames.cc (modified) * src/CodeGen/FixNames.h (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/LabelFixer.cc (modified) * src/ControlStruct/LabelFixer.h (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/ControlStruct/Mutate.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/Validate.cc (modified) * src/SymTab/module.mk (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) * src/Tuples/TupleAssignment.cc (modified) * src/Tuples/TupleExpansion.cc (modified) * src/driver/cfa.cc (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/assert.c (modified) * src/libcfa/bits/align.h (moved) * src/libcfa/bits/containers.h (modified) * src/libcfa/bits/debug.c (moved) * src/libcfa/bits/debug.h (added) * src/libcfa/bits/defs.h (modified) * src/libcfa/bits/locks.h (modified) * src/libcfa/concurrency/alarm.c (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.c (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/kernel_private.h (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread.c (modified) * src/libcfa/exception.c (modified) * src/libcfa/exception.h (modified) * src/libcfa/interpose.c (modified) * src/libcfa/libhdr.h (deleted) * src/libcfa/libhdr/libdebug.h (deleted) * src/libcfa/libhdr/libtools.h (deleted) * src/libcfa/stdhdr/assert.h (modified) * src/prelude/builtins.c (modified) * src/tests/except-mac.h (modified) Merge branch 'master' into with-statement Fri, 01 Dec 2017 19:51:50 GMT Rob Schluntz [81644e0] * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Add Indexer::addWith to insert with expression members into current scope Fri, 01 Dec 2017 16:28:34 GMT Rob Schluntz [d16d159] * src/Makefile.in (modified) * src/SymTab/ImplementationType.cc (deleted) * src/SymTab/ImplementationType.h (deleted) * src/SymTab/module.mk (modified) Remove unused ImplementationType pass Fri, 01 Dec 2017 16:25:58 GMT Rob Schluntz [a09e45b] * src/SymTab/Validate.cc (modified) Convert HoistStruct to PassVisitor Fri, 01 Dec 2017 16:25:37 GMT Rob Schluntz [ad6cd6d] * src/Makefile.in (modified) * src/SymTab/TypeEquality.cc (deleted) * src/SymTab/TypeEquality.h (deleted) * src/SymTab/module.mk (modified) Remove unused TypeEquality Thu, 30 Nov 2017 21:43:59 GMT Rob Schluntz [ba3706f] * src/CodeGen/FixNames.cc (modified) * src/Common/PassVisitor.impl.h (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/ControlStruct/ExceptTranslate.cc (modified) * src/ControlStruct/ForExprMutator.cc (modified) * src/ControlStruct/MLEMutator.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/Specialize.cc (modified) * src/InitTweak/FixGlobalInit.cc (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/InitTweak.cc (modified) * src/MakeLibCfa.cc (modified) * src/Parser/StatementNode.cc (modified) * src/SymTab/AddVisit.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/DeclStmt.cc (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/TupleExpr.cc (modified) Remove label lists from various Statement constructors Mon, 27 Nov 2017 19:38:37 GMT Rob Schluntz [1f370451] * src/GenPoly/Box.cc (modified) * src/Parser/TypeData.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Validate.cc (modified) * src/tests/polymorphism.c (modified) Carry attributes through typedefs Wed, 22 Nov 2017 22:05:54 GMT Rob Schluntz [f203a7a] * src/SymTab/Autogen.cc (modified) Simplify autogenerate and fix resolution problem with polymorphic ... Wed, 22 Nov 2017 21:52:09 GMT Rob Schluntz [5fe35d6] * src/InitTweak/FixInit.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Move addIds and addTypes to Indexer Wed, 22 Nov 2017 20:40:12 GMT Rob Schluntz [b95fe40] * src/GenPoly/InstantiateGeneric.cc (modified) * src/SymTab/Autogen.h (modified) * src/SymTab/Validate.cc (modified) Add casts to dtype-static member expressions to prevent loss of type ... Fri, 17 Nov 2017 22:38:36 GMT Rob Schluntz [5c4d27f] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for trait ... Fri, 17 Nov 2017 22:33:14 GMT Rob Schluntz [48fa824] * src/SymTab/Validate.cc (modified) Add error check for unimplemented expression parameters for generic ... Wed, 08 Nov 2017 18:54:16 GMT Rob Schluntz [e35f30a] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Mangler.h (modified) Fix generic type name mangling, add mangleGenericParams mode to name ... Wed, 08 Nov 2017 16:08:37 GMT Rob Schluntz [8e0147a] * src/SymTab/Validate.cc (modified) Reorder Validate passes so that array parameters are converted into ... Wed, 01 Nov 2017 21:40:05 GMT Rob Schluntz [f0ecf9b] * src/CodeGen/CodeGenerator.cc (modified) * src/GenPoly/InstantiateGeneric.cc (modified) * src/GenPoly/ScrubTyVars.cc (modified) * src/Parser/DeclarationNode.cc (modified) * src/Parser/TypeData.cc (modified) * src/ResolvExpr/Unify.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/TypeDecl.cc (modified) * src/Tuples/TupleExpansion.cc (modified) Remove TypeDecl::Any, as it is subsumed by Dtype+sized Mon, 23 Oct 2017 21:41:50 GMT Rob Schluntz [f53836b] * src/SymTab/Validate.cc (modified) Fix error handling for VLA typedefs Mon, 23 Oct 2017 21:39:11 GMT Rob Schluntz [954ef5b] * src/ResolvExpr/AdjustExprType.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) Fix array-to-pointer decay to only decay one level Fri, 20 Oct 2017 14:19:57 GMT Rob Schluntz [e220391] * src/SymTab/Autogen.cc (modified) Fix gcc 4/5 error Thu, 19 Oct 2017 15:15:36 GMT Rob Schluntz [f30b261] * src/SymTab/Autogen.cc (modified) Refactor forall parameter cloning for autogen into genDefaultType Thu, 19 Oct 2017 15:15:36 GMT Rob Schluntz [1a5ad8c] * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) Update autogen to generate reference rebind for reference member copy ... Thu, 19 Oct 2017 15:15:35 GMT Rob Schluntz [582ee28] * src/GenPoly/CopyParams.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SynTree/Declaration.cc (modified) Fix unique id for union field constructor parameter, small cleanup in ... Thu, 19 Oct 2017 15:15:35 GMT Rob Schluntz [6fc5c14] * src/InitTweak/InitTweak.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/Indexer.cc (modified) Skip non-constructable types during autogen Thu, 19 Oct 2017 15:15:35 GMT Rob Schluntz [f232977] * src/SymTab/Autogen.cc (modified) Refactor assignment return autogen code Thu, 19 Oct 2017 15:15:19 GMT Rob Schluntz [18ca28e] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Autogen.cc (modified) Refactor autogen for EnumDecl [fixes #47] Thu, 19 Oct 2017 15:13:12 GMT Rob Schluntz [0a267c1] * src/InitTweak/InitTweak.cc (modified) * src/SymTab/Autogen.cc (modified) * src/tests/.expect/64/extension.txt (modified) Refactor autogen for UnionDecl and update 64-bit tests Thu, 19 Oct 2017 15:13:12 GMT Rob Schluntz [a117f7c] * src/SymTab/Autogen.cc (modified) Refactor autogen for StructDecl and TypeDecl Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz [189d800] * src/SymTab/Autogen.cc (modified) * src/tests/.expect/64/attributes.txt (modified) Rework autogen to resolve struct functions as they are generated ... Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz [bd7e609] * src/InitTweak/GenInit.cc (modified) * src/SymTab/Validate.cc (modified) Make ReturnFixer idempotent and rearrange passes in Validate in ... Thu, 19 Oct 2017 15:13:11 GMT Rob Schluntz [6137fbb] * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SynTree/ReferenceToType.cc (modified) * src/SynTree/Type.h (modified) Print EnumInstType body flag and other minor cleanup Wed, 04 Oct 2017 15:30:57 GMT Rob Schluntz [7664fad] * src/ResolvExpr/Resolver.cc (modified) * src/SymTab/Validate.cc (modified) Update finishExpr so environment is not lost on multiple resolutions Tue, 03 Oct 2017 18:55:13 GMT Rob Schluntz [21b7161] * src/SymTab/FixFunction.cc (modified) * src/SymTab/FixFunction.h (modified) * src/SymTab/Validate.cc (modified) Convert FixFunction to PassVisitor Wed, 27 Sep 2017 20:25:19 GMT Rob Schluntz [8404321] * src/SymTab/Autogen.cc (modified) * src/SymTab/Autogen.h (modified) Add genCopyType and genDefaultType to Autogen.h Wed, 27 Sep 2017 03:27:38 GMT Peter A. Buhr [d67cdb7] * doc/proposals/concurrency/Makefile (modified) * doc/proposals/concurrency/annex/glossary.tex (modified) * doc/proposals/concurrency/text/cforall.tex (modified) * doc/proposals/concurrency/text/concurrency.tex (modified) * doc/proposals/concurrency/text/future.tex (added) * doc/proposals/concurrency/text/intro.tex (modified) * doc/proposals/concurrency/text/parallelism.tex (modified) * doc/proposals/concurrency/text/together.tex (added) * doc/proposals/concurrency/thesis.tex (modified) * doc/proposals/concurrency/version (modified) * src/CodeGen/CodeGenerator.cc (modified) * src/Concurrency/Keywords.cc (modified) * src/Concurrency/Waitfor.cc (modified) * src/GenPoly/Box.cc (modified) * src/GenPoly/DeclMutator.cc (deleted) * src/GenPoly/DeclMutator.h (deleted) * src/GenPoly/PolyMutator.cc (deleted) * src/GenPoly/PolyMutator.h (deleted) * src/GenPoly/Specialize.cc (modified) * src/GenPoly/module.mk (modified) * src/InitTweak/FixInit.cc (modified) * src/InitTweak/GenInit.cc (modified) * src/InitTweak/GenInit.h (modified) * src/InitTweak/InitTweak.cc (modified) * src/InitTweak/InitTweak.h (modified) * src/Makefile.in (modified) * src/Parser/StatementNode.cc (modified) * src/Parser/parserutility.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/ResolvExpr/AlternativeFinder.h (modified) * src/ResolvExpr/Resolver.cc (modified) * src/ResolvExpr/Resolver.h (modified) * src/ResolvExpr/TypeEnvironment.cc (modified) * src/SymTab/Autogen.cc (modified) * src/SymTab/FixFunction.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) * src/SymTab/Mangler.cc (modified) * src/SymTab/Validate.cc (modified) * src/SynTree/AddStmtVisitor.cc (deleted) * src/SynTree/AddStmtVisitor.h (deleted) * src/SynTree/BaseSyntaxNode.h (modified) * src/SynTree/CompoundStmt.cc (modified) * src/SynTree/Constant.cc (modified) * src/SynTree/Constant.h (modified) * src/SynTree/Declaration.cc (modified) * src/SynTree/Declaration.h (modified) * src/SynTree/Expression.cc (modified) * src/SynTree/Expression.h (modified) * src/SynTree/Initializer.cc (modified) * src/SynTree/Initializer.h (modified) * src/SynTree/Statement.cc (modified) * src/SynTree/Statement.h (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/SynTree/Visitor.h (modified) * src/SynTree/module.mk (modified) * src/Tuples/TupleExpansion.cc (modified) * src/benchmark/Makefile.am (modified) * src/benchmark/Makefile.in (modified) * src/benchmark/PthrdCtxSwitch.c (added) * src/benchmark/bench.h (modified) * src/benchmark/create_cfaThrd.c (modified) * src/libcfa/Makefile.am (modified) * src/libcfa/Makefile.in (modified) * src/libcfa/concurrency/coroutine.c (modified) * src/libcfa/concurrency/invoke.h (modified) * src/libcfa/concurrency/kernel.c (modified) * src/libcfa/concurrency/monitor (modified) * src/libcfa/concurrency/monitor.c (modified) * src/libcfa/concurrency/preemption.c (modified) * src/libcfa/concurrency/thread (modified) * src/libcfa/concurrency/thread.c (modified) * src/main.cc (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/32/sched-ext-parse.txt (added) * src/tests/.expect/64/sched-ext-parse.txt (added) * src/tests/.expect/concurrent/sched-ext-barge.txt (added) * src/tests/.expect/concurrent/sched-ext-statment.txt (added) * src/tests/.expect/sched-ext-else.txt (added) * src/tests/Makefile.am (modified) * src/tests/Makefile.in (modified) * src/tests/sched-ext-barge.c (added) * src/tests/sched-ext-else.c (added) * src/tests/sched-ext-parse.c (modified) * src/tests/sched-ext-statment.c (added) * src/tests/sched-ext.c (modified) merge Wed, 27 Sep 2017 03:22:08 GMT Peter A. Buhr [201aeb9] * src/Parser/DeclarationNode.cc (modified) * src/Parser/ExpressionNode.cc (modified) * src/Parser/ParseNode.h (modified) * src/Parser/TypeData.cc (modified) * src/Parser/lex.ll (modified) * src/Parser/parser.yy (modified) * src/ResolvExpr/CommonType.cc (modified) * src/ResolvExpr/ConversionCost.cc (modified) * src/SymTab/Mangler.cc (modified) * src/SynTree/BasicType.cc (modified) * src/SynTree/Type.cc (modified) * src/SynTree/Type.h (modified) * src/driver/cfa.cc (modified) * src/prelude/extras.c (modified) * src/prelude/extras.regx (modified) * src/prelude/prelude.cf (modified) * src/tests/.expect/64/literals.txt (modified) * src/tests/literals.c (modified) first attempt at new basic-type int128, and length suffix with ... Tue, 19 Sep 2017 17:18:57 GMT Rob Schluntz [4e8949f] * src/CodeGen/CodeGenerator.cc (modified) * src/CodeGen/CodeGenerator.h (modified) * src/CodeTools/TrackLoc.cc (modified) * src/SymTab/Autogen.cc (modified) Handle ConstructorExpr in CodeGenerator Sat, 16 Sep 2017 12:52:23 GMT Rob Schluntz [33a25f9] * src/Common/PassVisitor.impl.h (modified) * src/InitTweak/FixInit.cc (modified) * src/ResolvExpr/AlternativeFinder.cc (modified) * src/SymTab/Indexer.cc (modified) * src/SymTab/Indexer.h (modified) Remove visitor feature from Indexer