|
|
@968f280
|
4 years |
Thierry Delisle |
Made some implicit methods explicit due to clang warning
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@ee918356
|
4 years |
Thierry Delisle |
Some clean-up to remove clang-only warnings
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@f8143a6
|
4 years |
Thierry Delisle |
Change pass visitor to avoid more transient strong references
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@b56ad5e
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@5f3ba11
|
4 years |
f37yu |
TranslateTries pass
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@2f52b18
|
4 years |
pabuhr |
more cleanup
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@6180274
|
4 years |
pabuhr |
more cleanup, make more function parameters const, remove more std::
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@4e7171f
|
4 years |
pabuhr |
more cleanup of build_* functions, make init parameter const for …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@ff3b0249
|
4 years |
pabuhr |
add else clause into WhileDoStmt and ForStmt
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@436bbe5
|
4 years |
pabuhr |
remove unnecessary std:: qualification, clean up build_* functions, …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@fde0a58
|
4 years |
pabuhr |
change assert to assertf
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@3b0bc16
|
4 years |
pabuhr |
change class name WhileStmt to WhileDoStmt, add else clause to …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@ab1a9ea
|
4 years |
caparson |
fixed merge
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@34c32f0
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@3e5db5b4
|
4 years |
caparson |
added comments to loop portion of pass
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@89a5a1f
|
4 years |
pabuhr |
formatting, starting adding elsePart to while, do, and for statements
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@7b38b28
|
4 years |
pabuhr |
add LabelGeneratorNew.hpp and LabelGeneratorNew.cpp to module.mk
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@66daee4
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@dd3263c
|
4 years |
pabuhr |
new AST versions for LabelGenerator
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@ca8c0362
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@51ec1ab
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@45040b61
|
4 years |
pabuhr |
formatting, remove anonymous namespace
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@3a4732f
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@37eb41b
|
4 years |
pabuhr |
formatting, remove anonymous namespace
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@0fba0d4
|
4 years |
pabuhr |
remove anonymous namespace
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@473d1da0
|
4 years |
pabuhr |
rename "if control" to "conditional control"
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@cef7430
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@6b2d444
|
4 years |
caparson |
changed a few mutexstmt things
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@e21f253
|
4 years |
ajbeach |
Removed the VISIT macro from Pass.impl.hpp. It was a very small …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@00a8e19
|
4 years |
ajbeach |
Missed one required file for the validate D changes, I think it was an …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a488783
|
4 years |
ajbeach |
Translated the first half of validate-D. HoistControlStruct is pretty …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@451d958
|
4 years |
f37yu |
print function type correctly before resolver
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@91a72ef
|
4 years |
ajbeach |
Some assorted bits of clean-up. InitializerLength was missing some …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a4a6802
|
4 years |
f37yu |
fill in FunctionType assertions early
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@56f519b
|
4 years |
ajbeach |
Clean-up of the last pass. Added a test for the constructor mutex …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@f27331c
|
4 years |
ajbeach |
Factored the AddressExpr constructor body into a helper that makes it …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@2cf3b87
|
4 years |
ajbeach |
Translated valitate-E after much bug hunting.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@0351e9f
|
4 years |
ajbeach |
Clean-up white-space and comments in the AST/Print module.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@3cc1111
|
4 years |
ajbeach |
Small fix in Decl.hpp and a new-ast function added in InitTweak.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@1387ea0
|
4 years |
ajbeach |
We can now thread the global/special declarations from convert to …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@ce36b55
|
4 years |
ajbeach |
Translation of Validate F; and some improvements in some helpers.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@5dcb881
|
4 years |
ajbeach |
Split up the validate pass. (Some statistics code is repeated, but …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@3249dd8b
|
4 years |
ajbeach |
Some clean-up. DeepCopyCore lost its already tenous reason to be in …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@b7fd9daf
|
4 years |
f37yu |
Merge branch 'new-ast-unique-expr'
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@f95634e
|
4 years |
f37yu |
fix unique expr pass
ADT
ast-experimental
enum
forall-pointer-decay
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@bb9924c
|
4 years |
f37yu |
fix unique expr pass
ADT
ast-experimental
enum
forall-pointer-decay
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1622af5
|
4 years |
ajbeach |
Created CandidatePrinter from AlternativePrinter (seems to uncover a …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@5ee153d
|
4 years |
ajbeach |
Translated the Translate Throws pass to the new ast.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a5a08a05
|
4 years |
ajbeach |
Missed a few extra references to LabelGenerator.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@cb921d4
|
4 years |
ajbeach |
Changed some of the new ast code so they no longer pass around the …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@de31a1d
|
4 years |
ajbeach |
Converted the two LabelGenerator singletons into a single pure-static …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@817bb3c
|
4 years |
ajbeach |
Clean-up in MultiLevelExit, including a small interface change.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@21fe17f
|
4 years |
ajbeach |
Clean-up the FixLabelsCore class and utilities.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@b8ab91a
|
4 years |
ajbeach |
Fix Labels pass translated. This is fix label, mult-level exit and …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@8e48fca4
|
4 years |
ajbeach |
Combined the code in FixMain so it is all done with one pass.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@0c577f7
|
4 years |
ajbeach |
Implemented new AST version of the Fix Names pass.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@f42fc13
|
4 years |
ajbeach |
Reorganize FixNames/FixMain to avoid storing main_signature for so long.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@c600df1
|
4 years |
ajbeach |
Added ast::WithConstTranslationUnit to give access to the surrounding …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@148ba7d
|
4 years |
ajbeach |
Added a return value to WithGuards::GuardValue so you can save the old …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a36eb2d
|
4 years |
ajbeach |
First translation of the Gen Init pass. Passed the tests.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@da6396f
|
4 years |
ajbeach |
Looks like Henry's MakeLibCfa worked this entire time.
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@55cbff8
|
4 years |
ajbeach |
Added new ast resolver prototype support. Not exactly the same but …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@efc8f3e
|
4 years |
pabuhr |
change loop default-block for while/do/for to Python style
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a73c16e
|
4 years |
pabuhr |
parse loop default-block for while/do/for
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@fe8c31e
|
4 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@05c941a
|
4 years |
pabuhr |
change mutex expression syntax from mutex@ to mutex(), add rule to …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@68fe946e
|
4 years |
ajbeach |
Updated DeclStats for the new ast. Also fixed a bug in the old …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@e16eb460
|
4 years |
pabuhr |
further restrict locations where @ occurs, remove empty argument list …
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@4d8fbf4
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@a8367eb
|
4 years |
caparson |
fixed mutexStmt bug related to pointers/references
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@63b3279e
|
4 years |
pabuhr |
add C++-style constructor initialization, T t{3,4} versus T t = {3,4}
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@bbe3719
|
4 years |
caparson |
cleaned up some mutex stmt related code
ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
|
|
@1d402be
|
4 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@5b7c8b5
|
4 years |
caparson |
small changes and hopefully fixed build
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@52fad0c
|
4 years |
y58xue |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@6c2dc00
|
4 years |
y58xue |
Convert makeLibCfa to use new AST
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@af67ee1
|
4 years |
caparson |
Added support for locks as parameters to mutex stmt
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@9f5a19fa
|
4 years |
y58xue |
Enable expandMemberTuples new AST pass
Other work still needs to be …
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@d249e0b
|
4 years |
y58xue |
Add expandMemberTuples pass to use new AST
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@01d433e
|
4 years |
y58xue |
Convert expandUniqueExpr pass to use new AST (NOT WORKING)
Currently …
ADT
ast-experimental
enum
forall-pointer-decay
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8a1d95af
|
4 years |
pabuhr |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@c99a0d1
|
4 years |
pabuhr |
attempt to add for-control index constraints, but failed on enums, …
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
|
|
@de52331
|
4 years |
caparson |
some more files related to mutex stmt
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@6cebfef
|
4 years |
caparson |
added mutex stmt monitor
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ea54f1e
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@da602aec
|
4 years |
y58xue |
Fix forall variant extern vtable decls
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@42a02ce
|
4 years |
y58xue |
Fix virtual cast error not showing code locations
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@98233b3
|
4 years |
y58xue |
Translate forall variants of exception/vtable decls
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@aa882e7e
|
4 years |
y58xue |
Translate virtual table declarations
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@8f6f3729
|
4 years |
pabuhr |
change typedef_name to type_name for non-terminal vtable
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@00da199
|
4 years |
y58xue |
Add a switch to print AST after exdecl pass
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0c730d9
|
4 years |
y58xue |
Translate exception declarations
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9f77301
|
4 years |
pabuhr |
formatting
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@93bbbc4
|
4 years |
pabuhr |
update parser for vtable declarations
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@cc64be1d
|
4 years |
ajbeach |
Added VTableType to the conversion passes.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ccb6fd8
|
4 years |
Thierry Delisle |
Fix CodeLocation boiler-plate for vtable
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@3945abe
|
4 years |
Thierry Delisle |
New-AST boilerplate for vtable
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b238618
|
4 years |
ajbeach |
Added VTableType to the new ast.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@7ff35e0e
|
4 years |
Thierry Delisle |
Implemented old ast boiler-plate for vtabletype.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ca69a8a
|
4 years |
ajbeach |
Quickly added VTableType node to the old ast.
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|