source: src/ResolvExpr

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @de57af9   22 months ajbeach Added some asserts in CurrentObject? that prevent segfaults for better … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fcd0b9d7   2 years mlbrooks PolyCost? calculation result becomes 0 or 1 per type, avoiding … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @978e5eb   2 years mlbrooks Calculation of specialization benefit (spec "cost") looks inside the … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @eef8dfb   2 years Thierry Delisle Merge branch 'master' into dkobets-vector arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1958fec   2 years f37yu increase recursive assertion depth limit arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7583c02   2 years f37yu partially improve #226: resolver environment size reduced to O(n) … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0536c03   2 years f37yu remove unnecessary prune arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @302ef2a   2 years f37yu smart pointer memory safety arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b107885   2 years f37yu remove warning message arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8ba363e   2 years f37yu fix size type on 32 bit build arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3e5dd913   2 years f37yu reimplement function type and eliminate deep copy arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2dda05d   2 years f37yu recursively visit inferred arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5b9a0ae   2 years f37yu attempt to correct deleted declaration and assertion arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @361bf01   2 years f37yu remove ParameterizedType? and put content into FunctionType? arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3233b91   2 years Thierry Delisle Fix left erros in old AST arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2595df1   2 years Thierry Delisle Now using string print to sort alternatives arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1db306a   2 years Thierry Delisle First attempt to sort alternatives before printing. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cd6a6ff   2 years Thierry Delisle Improved coverage of deterministic_output to be much finer grain. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4a8f150   2 years ajbeach A quick-fix to get the self-assignment bug working and some clean-up I … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e3282fe   2 years f37yu optimize out some mangle calls arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @88a0ff6   2 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1389810   2 years f37yu consolidate prune and satisfy assertion arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0292aa4   2 years ajbeach Fixed some formating/cleanlyness mistakes. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4702a2c   2 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e5c3811   2 years f37yu create dedicated symbol tables for big 3 operators note: arbitrary … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bb87dd0   2 years mlbrooks Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b2e0df3   2 years Thierry Delisle More fix of warnings with the MS C++ abi arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e00c22f   2 years f37yu someone liked snake_case arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cdacb73   2 years f37yu remove missing assertion console print arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0dd9a5e   2 years f37yu delay autogen resolve arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @16ba4a6   2 years f37yu factor out resolver calls in pre-resolution stage arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @293dc1c   2 years ajbeach TranslationUnit? is now used at the top-level of the new-ast passes. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @490fb92e   2 years f37yu move FixInit? to new ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2fb35df   2 years f37yu exclude deleted declarations for assertion matching arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @954c954   2 years f37yu Move function argument and return variable declarations from … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @57e0289   2 years Thierry Delisle Added stats option to print stats per expression in new-ast resolution arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @98e8b3b   2 years ajbeach ast::ReferenceToType? is now ast::BaseInstType?. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b9fa85b   2 years ajbeach Should fix both trac #173 by porting the catch scoping hack to the new … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e6b42e7   2 years ajbeach Added the ast::Pass::read utility. Converted two passes to use its two … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @73f1b1c   2 years ajbeach Cleaned up comments from the PureVisitor? addition. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d3aa64f   2 years f37yu pure visitor interface for new ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4ef08f7   2 years Thierry Delisle Implemented KeywordCast? in CandidateFinder? of new AST. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5339a87   2 years Thierry Delisle Added headers to Makefile Sources (since they are supposed to be) arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ef9988b   2 years f37yu fix lost typeinst in resolved assertions arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7ff3e522   2 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0d070ca   2 years Thierry Delisle disabled new heaptrace feature arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @22f94a4   2 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @07d867b   2 years f37yu attempt to fix inferparams arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a86b2ca6   2 years ajbeach Added Pass<...>::run which allows a pass to be constructed and run in … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b81fd95   2 years mlbrooks Fix bug where pointer and reference types allow unsound initialization … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1d17939   3 years ajbeach Implemented the recomented fix for #204, added at test that would have … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @eb1be63   3 years f37yu conversion cost pass should not consider structs again after types … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c408483   3 years f37yu cleanup arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c15085d   3 years f37yu tracing memory allocation of resolver passes arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @81da70a   3 years f37yu actually fill inferred params and disable a check arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1cf2a9b   3 years f37yu Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c7f834e   3 years f37yu fix destructed return value in TypeSubstitution? arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e068c8a   3 years ajbeach Since my base solution introduced a lot of the mess, I decided to … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @73973b6   3 years f37yu manually call mutate on functiondecl arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bcd74f3   3 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7215000   3 years Thierry Delisle Added flag to disable non-deteministic parts of the output when testing arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7030dab   3 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3090127   3 years ajbeach Naming updates, most are to get exception names to the new … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ac2b598   3 years Thierry Delisle Changed descriptors for concurrency to use $ prefix instead of … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3b9c674   3 years ajbeach Expections now supported in position independent code. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @596fc4ad   3 years dkobets Merge branch 'master' into vector-generic arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @07de76b   3 years pabuhr remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2fa5bd2   3 years dkobets Merge branch 'master' into vector-generic arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aca6a54c   3 years dkobets Increase trait recursion limit arm-ehenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3b0c8cb   3 years Thierry Delisle Implemented Keyword cast in the alternative finder to remove aliassing … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @71d6bd8   3 years Thierry Delisle First attempt at better errors on 'No reasonable alternatives' split … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @9802f4c   3 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @665f432   3 years Thierry Delisle Fixed trac #149 where operand names in asm statements where … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3f3bfe5a   3 years ajbeach Merge from master to new-ast. Removing old lvalue support. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cf32116   3 years ajbeach Implemented expression based lvalue resolution on new ast. arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @90ce35aa   3 years mlbrooks Fixing new-resolver bug where libcfa build erroneously complains about … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4a60488   3 years ajbeach Merged from master taking the lvalue changes to expression and … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b4f8808   3 years ajbeach Removed lvalue from types in the old ast. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @849720f   3 years ajbeach lvalue should now always come directly from the expression. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8e1467d   3 years Thierry Delisle Fixed crash using shallow copy arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4e13e2a   3 years Thierry Delisle Added setting of result in Comma expression. Added asserts in … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3315e3d   3 years ajbeach Unify uses Qualifiers::unify, which should handle lvalue better. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @a6f26ca   3 years Thierry Delisle Resolved typeof arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1118b8b   3 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7d01cf44   3 years ajbeach lvalue is now read through the expression. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b3976bf   3 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cc4218f   3 years Thierry Delisle Added assertion as documentation arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0f19f5e5   3 years ajbeach Made private overloads of convertToReferenceCost static. arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2d80111   3 years ajbeach Lvalue is checked through Expression::get_lvalue. Only three other … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f4f9d27   3 years pabuhr formatting arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3a55d9f   3 years pabuhr adjust column spacing in generated output arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f49b3fc   3 years Thierry Delisle Fixed memory bug in unify arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2890212   3 years Thierry Delisle Startup.cfa now compiles with new ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @033ff37   4 years pabuhr remove attribute expression '@'name mechanism arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @504eb72   4 years Thierry Delisle Change node which was static to function to static ast::ptr to heap … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @96ac72c   4 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4eb43fa   4 years Thierry Delisle Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fd642d2   4 years ajbeach Added const in a few more places. This should be all the leaf areas … arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @99da267   4 years mlbrooks Running a deep-copy on FunctionType? at RenameVars? time. This manual … arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @f53acdf8   4 years Thierry Delisle Merge branch 'master' into new-ast arm-ehenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.