source: src/ResolvExpr/Resolver.cc

Revision Log Mode:


Legend:

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