source: src/ResolvExpr/Resolver.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @e172f42   17 months caparson Merge branch 'ast-experimental'
(edit) @8f557161   17 months mlbrooks Clarify and fix accuracy in eval public API, on reporting "unable to …
(edit) @62d62db   17 months caparson Merge branch 'master' into ast-experimental ast-experimental
(edit) @24d6572   17 months f37yu Merge branch 'master' into ast-experimental ast-experimental
(edit) @918e4165   17 months ajbeach Removed some warnings. ast-experimental
(edit) @b9fe89b   17 months mlbrooks Make the symbol table's error-checking times explicit. Previously, … ast-experimental
(edit) @251ce80   17 months f37yu remove reference to symbol table in unify ast-experimental
(edit) @46da46b   18 months f37yu current progress ast-experimental
(edit) @c86b08d   18 months caparson added support for the waituntil statement in the compiler ADTast-experimental
(edit) @9feb34b   19 months ajbeach Moved toString and toCString to a new header. Updated includes. … ADTast-experimental
(edit) @8f06277   21 months ajbeach Some clean-up in Common/utility.h. Deleted some unused declarations … ADTast-experimental
(edit) @4520b77e   2 years j82liang Merge to Master Sept 19 ADTast-experimentalpthread-emulation
(edit) @12df6fe   2 years j82liang Fix an enumerator value bug; add basic tests for new features; save … ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @5cf1228   2 years 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   3 years j82liang Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @9e7236f4   3 years j82liang Resolution of struct enum. The codegen of struct enum will be in the … ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @f6e6a55   3 years ajbeach Added ast::WaitForClause? and changed ast::WaitForStmt? to use it. This … ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @5bb1ac1   3 years j82liang Allow generic types ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @d8e2a09   3 years j82liang Merge with master ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @92538ab   3 years j82liang Resolve conflict ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @4559b34   3 years j82liang Update the String Enum implementation. The declaration now can handles … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @b230091   3 years ajbeach Added a 'missing' TypeInstType? constructor and rewrote some calls to … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @400b8be   3 years ajbeach Added StmtClause? and converted the existing nodes that should be clauses. ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @3bc69f2   3 years ajbeach May have fixed the build failure, but I'm still not sure why … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @39d8950   3 years ajbeach Thread global information through resolution. Non-top-level calls to … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @6668a3e   3 years Thierry Delisle Waitfor now resolves calls to get_monitor inside the resolver rather … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @3b0bc16   3 years pabuhr change class name WhileStmt? to WhileDoStmt?, add else clause to … ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
(edit) @7583c02   4 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   4 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) @16ba4a6f   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   5 years Thierry Delisle Merge branch 'master' into new-ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3090127   5 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   5 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   6 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   6 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
(edit) @aac99da   6 years pabuhr change BasicType::Bool to BasicType::_Bool ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpersistent-indexerpthread-emulationqualifiedEnum
(edit) @cde3891   6 years Thierry Delisle Merge branch 'master' into cleanup-dtors ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2fd9f24   6 years a3moss IdChain? tweaks to resolver ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @6d6e829   6 years a3moss First compiling draft of deferred assertions (build failure) ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @59cf83b   6 years a3moss Switch resolution flags to packed struct ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @2bfc6b2   6 years Rob Schluntz Refactor FindSpecialDeclarations? and associated special declarations ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2a6292d   6 years Rob Schluntz Resolve with expressions earlier to ensure new local variables are … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @2b79a70   6 years Rob Schluntz Resolve typeof earlier so that constructors are chosen appropriately … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @51fcdbc7   6 years Rob Schluntz Remove lvalue qualifier from objects of typeof type after resolving … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @c5283ba   6 years Thierry Delisle Fixed #94, properly list the number of expected mutex parameter ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
(edit) @d286cf68   6 years a3moss Fix TypeEnvironment? bind algorithms ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @2a08c25   6 years Rob Schluntz Modify resolver to push code location to generate cast ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @cdb990a   6 years Rob Schluntz Strip redundant casts after every resolution ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @6f326b1   7 years Rob Schluntz Add type variables from function alternative to the type environment … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @5248789   7 years Thierry Delisle Waitfor resolution error now prints enviroment ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
Note: See TracRevisionLog for help on using the revision log.