source: src/ResolvExpr/Resolver.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @bc61563   19 months ajbeach Factored out a very complex condition into a helper function and …
(edit) @14755e5   20 months ajbeach Updated indentation in Resolver. Removed trailing whitespace.
(edit) @9ddcee1   20 months j82liang Remove EnumPosExpr, an early design that no longer used. The …
(edit) @7329b0a   20 months ajbeach advance_to_mutex has been replaced nextMutex.
(edit) @59c8dff   21 months j82liang Draft Implementation for enum position pesudo function (posE). …
(edit) @ca9d65e   22 months pabuhr second attempt at simplifying SemanticError messages
(edit) @4c2fe47   22 months pabuhr formatting
(edit) @2345ab3   22 months ajbeach Clean-up of the chain mutator. Seems like it is underused.
(edit) @4a89b52   22 months ajbeach Renamed ResolvMode to ResolveMode. This is less consistent with the …
(edit) @0bd3faf   23 months ajbeach Removed forward declarations missed in the BaseSyntaxNode removal. …
(edit) @c6b4432   23 months ajbeach Remove BaseSyntaxNode and clean-up.
(edit) @4894239   2 years j82liang Allow uninitialized enum value as designators
(edit) @92355883   2 years j82liang Array can use enum instance with explicit initializer as designator. …
(edit) @e172f42   2 years caparson Merge branch 'ast-experimental'
(edit) @8f557161   2 years mlbrooks Clarify and fix accuracy in eval public API, on reporting "unable to …
(edit) @62d62db   2 years caparson Merge branch 'master' into ast-experimental ast-experimental
(edit) @24d6572   2 years f37yu Merge branch 'master' into ast-experimental ast-experimental
(edit) @918e4165   2 years ajbeach Removed some warnings. ast-experimental
(edit) @b9fe89b   2 years mlbrooks Make the symbol table's error-checking times explicit. Previously, … ast-experimental
(edit) @251ce80   2 years f37yu remove reference to symbol table in unify ast-experimental
(edit) @46da46b   2 years f37yu current progress ast-experimental
(edit) @c86b08d   2 years caparson added support for the waituntil statement in the compiler ADT ast-experimental
(edit) @9feb34b   2 years ajbeach Moved toString and toCString to a new header. Updated includes. … ADT ast-experimental
(edit) @8f06277   3 years ajbeach Some clean-up in Common/utility.h. Deleted some unused declarations … ADT ast-experimental
(edit) @4520b77e   3 years j82liang Merge to Master Sept 19 ADT ast-experimental pthread-emulation
(edit) @12df6fe   3 years j82liang Fix an enumerator value bug; add basic tests for new features; save … ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @5cf1228   3 years ajbeach Clean-up the new specialize pass. (Especially the cruft from the hand-off.) ADT ast-experimental pthread-emulation
(edit) @9e23b446   3 years f37yu add specialize pass ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @24ceace   3 years j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @9e7236f4   3 years j82liang Resolution of struct enum. The codegen of struct enum will be in the … ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @f6e6a55   3 years ajbeach Added ast::WaitForClause and changed ast::WaitForStmt to use it. This … ADT ast-experimental pthread-emulation qualifiedEnum
(edit) @5bb1ac1   3 years j82liang Allow generic types ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @d8e2a09   3 years j82liang Merge with master ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @92538ab   3 years j82liang Resolve conflict ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @4559b34   3 years j82liang Update the String Enum implementation. The declaration now can handles … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @b230091   3 years ajbeach Added a 'missing' TypeInstType constructor and rewrote some calls to … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @400b8be   3 years ajbeach Added StmtClause and converted the existing nodes that should be clauses. ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @3bc69f2   4 years ajbeach May have fixed the build failure, but I'm still not sure why … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @39d8950   4 years ajbeach Thread global information through resolution. Non-top-level calls to … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @6668a3e   4 years Thierry Delisle Waitfor now resolves calls to get_monitor inside the resolver rather … ADT ast-experimental enum pthread-emulation qualifiedEnum
(edit) @3b0bc16   4 years pabuhr change class name WhileStmt to WhileDoStmt, add else clause to … ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
(edit) @7583c02   5 years f37yu partially improve #226: resolver environment size reduced to O(n) … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @302ef2a   5 years f37yu smart pointer memory safety ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b107885   5 years f37yu remove warning message ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @8ba363e   5 years f37yu fix size type on 32 bit build ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3e5dd913   5 years f37yu reimplement function type and eliminate deep copy ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2dda05d   5 years f37yu recursively visit inferred ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @361bf01   5 years f37yu remove ParameterizedType and put content into FunctionType ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @4a8f150   5 years ajbeach A quick-fix to get the self-assignment bug working and some clean-up I … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e00c22f   5 years f37yu someone liked snake_case ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0dd9a5e   5 years f37yu delay autogen resolve ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @16ba4a6f   5 years f37yu factor out resolver calls in pre-resolution stage ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @293dc1c   5 years ajbeach TranslationUnit is now used at the top-level of the new-ast passes. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @490fb92e   5 years f37yu move FixInit to new ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @954c954   5 years f37yu Move function argument and return variable declarations from … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @57e0289   5 years Thierry Delisle Added stats option to print stats per expression in new-ast resolution ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b9fa85b   5 years ajbeach Should fix both trac #173 by porting the catch scoping hack to the new … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e6b42e7   5 years ajbeach Added the ast::Pass::read utility. Converted two passes to use its two … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @7ff3e522   5 years ajbeach {pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0d070ca   5 years Thierry Delisle disabled new heaptrace feature ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @a86b2ca6   5 years ajbeach Added Pass<...>::run which allows a pass to be constructed and run in … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c408483   5 years f37yu cleanup ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @c15085d   5 years f37yu tracing memory allocation of resolver passes ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @e068c8a   5 years ajbeach Since my base solution introduced a lot of the mess, I decided to … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @73973b6   5 years f37yu manually call mutate on functiondecl ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @7030dab   5 years Thierry Delisle Merge branch 'master' into new-ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3090127   5 years ajbeach Naming updates, most are to get exception names to the new … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3b9c674   6 years ajbeach Expections now supported in position independent code. ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @9802f4c   6 years Thierry Delisle Merge branch 'master' into new-ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @665f432   6 years Thierry Delisle Fixed trac #149 where operand names in asm statements where … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2890212   6 years Thierry Delisle Startup.cfa now compiles with new ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @f53acdf8   6 years Thierry Delisle Merge branch 'master' into new-ast ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @8fd52e90   6 years Thierry Delisle Removed uses of lookupMutableXXX ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @ef5b828   6 years Thierry Delisle Indexer now has const lookup by default ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @417117e   6 years a3moss Assorted cleanup ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3c89751   6 years a3moss Port castCost, ptrsCastable ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0f6a7752   6 years a3moss Put in temporary patch to finish new resolver port ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @18e683b   6 years a3moss Port LinkReferenceToTypes pass ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b8524ca   6 years a3moss new AST porting * mostly InitTweak autogeneration * added some … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @234b1cb   6 years a3moss Port TupleAssignment to new AST ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @17a0ede2   6 years a3moss Further resolver porting; finish initial draft of expression handling ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @4b7cce6   6 years a3moss Fill in CandidateFinder boilerplate in resolver port ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @d57e349   6 years a3moss More resolver porting ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2773ab8   6 years a3moss Add new resolver overload for WaitForStmt ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2d11663   6 years a3moss resolver porting; finish top level of initialization ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @60aaa51d   6 years a3moss More resolver porting; mostly CurrentObject ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2b59f55   6 years a3moss More resolver porting ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @b7d92b96   6 years a3moss More resolver porting ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @3cd5fdd   6 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @99d4584   6 years a3moss Further stubs for resolver port * also switched order of constructor … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @4864a73   6 years Thierry Delisle Added chain mutation and example use in resolver ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @2a8f0c1   6 years a3moss Add first ported resolver function ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @0e42794   6 years a3moss Rewrite WithSymbolTable pass accessory to use ast::SymbolTable ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @8d70648   6 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @d76c588   6 years a3moss Stubs for new resolver, implementation of new indexer, type environment ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @933f32f   6 years Thierry Delisle Merge branch 'master' into cleanup-dtors ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
(edit) @5170d95   7 years pabuhr fix implict void cast problem ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr persistent-indexer pthread-emulation qualifiedEnum
(edit) @e15853c   7 years pabuhr remove leading underscores in enums for _FloatNN and _Bool ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr persistent-indexer pthread-emulation qualifiedEnum
(edit) @aac99da   7 years pabuhr change BasicType::Bool to BasicType::_Bool ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr persistent-indexer pthread-emulation qualifiedEnum
(edit) @cde3891   7 years Thierry Delisle Merge branch 'master' into cleanup-dtors ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Note: See TracRevisionLog for help on using the revision log.