source: src/ResolvExpr

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @5cf1228   2 years ajbeach Clean-up the new specialize pass. (Especially the cruft from the hand-off.) ADTast-experimentalpthread-emulation
(edit) @ffec1bf   2 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @9e23b446   2 years f37yu add specialize pass ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @b9f8274   2 years ajbeach Removed the validate sub-pass interface. This also showed an extra … ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @f37d9e7   2 years pabuhr change CurrentObject?.cc to use eval rather than ad-hoc … ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @1df492a   2 years j82liang Convert TypeInstType? to PointerType? before resolution ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @fc134a48   2 years j82liang Implement the struct enum ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @9939dc3   2 years ajbeach Reduced the number of object files linked into the demangler. Some of … 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) @94fa946   3 years ajbeach Cleaned up some files I have been looking at a lot recently. ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @f238fcc2   3 years j82liang Enable numeric type for typed enum 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) @9d8124f   3 years f37yu fix some code that clearly does not accomplish the correct thing. has … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @6668a3e   3 years Thierry Delisle Waitfor now resolves calls to get_monitor inside the resolver rather … ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @1f7dc61   3 years Thierry Delisle Consistently changed TranslationUnit? from struct to class. ADTast-experimentalenumpthread-emulationqualifiedEnum
(edit) @3b0bc16   3 years pabuhr change class name WhileStmt? to WhileDoStmt?, add else clause to … ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
(edit) @1622af5   3 years ajbeach Created CandidatePrinter? from AlternativePrinter? (seems to uncover a … ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
(edit) @7f62b708   3 years Thierry Delisle Step 2 of $thread to thread$ Missed some of the source ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @943bfad   3 years Thierry Delisle Fixed several warnings for clang@head ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @de57af9   4 years ajbeach Added some asserts in CurrentObject? that prevent segfaults for better … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @fcd0b9d7   4 years mlbrooks PolyCost? calculation result becomes 0 or 1 per type, avoiding … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @978e5eb   4 years mlbrooks Calculation of specialization benefit (spec "cost") looks inside the … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @eef8dfb   4 years Thierry Delisle Merge branch 'master' into dkobets-vector ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1958fec   4 years f37yu increase recursive assertion depth limit ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-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) @0536c03   4 years f37yu remove unnecessary prune 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) @5b9a0ae   4 years f37yu attempt to correct deleted declaration and assertion 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) @3233b91   4 years Thierry Delisle Fix left erros in old AST ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2595df1   4 years Thierry Delisle Now using string print to sort alternatives ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1db306a   4 years Thierry Delisle First attempt to sort alternatives before printing. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @cd6a6ff   4 years Thierry Delisle Improved coverage of deterministic_output to be much finer grain. 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) @e3282fe   4 years f37yu optimize out some mangle calls ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @88a0ff6   4 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1389810   4 years f37yu consolidate prune and satisfy assertion ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @0292aa4   4 years ajbeach Fixed some formating/cleanlyness mistakes. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4702a2c   4 years f37yu Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @e5c3811   4 years f37yu create dedicated symbol tables for big 3 operators note: arbitrary … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @bb87dd0   4 years mlbrooks Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @b2e0df3   4 years Thierry Delisle More fix of warnings with the MS C++ abi 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) @cdacb73   4 years f37yu remove missing assertion console print 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) @2fb35df   4 years f37yu exclude deleted declarations for assertion matching 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) @98e8b3b   4 years ajbeach ast::ReferenceToType? is now ast::BaseInstType?. 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) @73f1b1c   4 years ajbeach Cleaned up comments from the PureVisitor? addition. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d3aa64f1   4 years f37yu pure visitor interface for new ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @4ef08f7   4 years Thierry Delisle Implemented KeywordCast? in CandidateFinder? of new AST. ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @5339a87   4 years Thierry Delisle Added headers to Makefile Sources (since they are supposed to be) ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @ef9988b   4 years f37yu fix lost typeinst in resolved assertions ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-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) @22f94a4   4 years Thierry Delisle Merge branch 'master' into new-ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @07d867b   4 years f37yu attempt to fix inferparams 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) @b81fd95   4 years mlbrooks Fix bug where pointer and reference types allow unsound initialization … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1d17939   4 years ajbeach Implemented the recomented fix for #204, added at test that would have … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @eb1be63   4 years f37yu conversion cost pass should not consider structs again after types … 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) @81da70a5   4 years f37yu actually fill inferred params and disable a check ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @1cf2a9b   4 years f37yu Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @c7f834e   4 years f37yu fix destructed return value in TypeSubstitution? 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) @bcd74f3   4 years Thierry Delisle Merge branch 'master' into new-ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7215000   5 years Thierry Delisle Added flag to disable non-deteministic parts of the output when testing 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) @ac2b598   5 years Thierry Delisle Changed descriptors for concurrency to use $ prefix instead of … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-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) @596fc4ad   5 years dkobets Merge branch 'master' into vector-generic ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @07de76b   5 years pabuhr remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @2fa5bd2   5 years dkobets Merge branch 'master' into vector-generic ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @aca6a54c   5 years dkobets Increase trait recursion limit ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3b0c8cb   5 years Thierry Delisle Implemented Keyword cast in the alternative finder to remove aliassing … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @71d6bd8   5 years Thierry Delisle First attempt at better errors on 'No reasonable alternatives' split … ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-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
Note: See TracRevisionLog for help on using the revision log.