summaryrefslogtreecommitdiff
path: root/src/mir/check.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-04-22MIR Validate - Don't use ScopeEnd, it's incorrect after optJohn Hodge1-0/+5
2017-04-22MIR - Add ScopeEnd statement to indicate where a value will no longer be usedJohn Hodge1-0/+4
2017-03-16MIR Validate - Better debugJohn Hodge1-3/+8
2017-02-22MIR - Restrict Constant::Bytes to returning &[u8; N]John Hodge1-5/+5
2017-02-22MIR - Make MakeDst ptr a ParamJohn Hodge1-1/+2
2017-02-22MIR - add Param type for places where a lvalue is readJohn Hodge1-0/+9
2017-02-05MIR Validate - (minor) Remove now-useless debugJohn Hodge1-3/+0
2017-02-04MIR Validate - Fix infinite looping in value stateJohn Hodge1-12/+114
2017-02-04MIR Validate - Slight refactor for cleaner codeJohn Hodge1-325/+329
2017-01-26MIR Optimise - FiddlingJohn Hodge1-0/+7
2017-01-22MIR Check - Calls move valuesJohn Hodge1-1/+1
2017-01-22MIR Check - Get DST type for generic structsJohn Hodge1-3/+35
2017-01-22MIR Check - Fix bug in handling of marker-only TraitObject'sJohn Hodge1-27/+36
2017-01-20MIR - Drop flags (incomplete, doesn't pass validation)John Hodge1-14/+29
2017-01-08All - i128/u182 support, typecheck and parse fixesJohn Hodge1-0/+2
2017-01-04Codegen C - DST fixes, diverging UfcsInherentJohn Hodge1-2/+32
2017-01-03Trans C - Enum variant constructor pointersJohn Hodge1-0/+17
2017-01-02MIR - Remove Deref from inputs to RValue::DstMeta/DstPtrJohn Hodge1-4/+56
2016-12-31MIR - Fix a bit of invalid MIRJohn Hodge1-0/+2
2016-12-29MIR Cleanup - Derefence FnMut/Fn for fn pointsJohn Hodge1-1/+1
2016-12-29MIR Opt - Partial dead temporary eliminatonJohn Hodge1-0/+9
2016-12-29MIR - Inline assembly in MIRJohn Hodge1-5/+16
2016-12-28MIR Gen - Handle diverging calls fullyJohn Hodge1-0/+2
2016-12-27MIR Gen - Add support for capturing rest of slice patternsJohn Hodge1-0/+2
2016-12-27MIR Check - Prevent excessive memory usageJohn Hodge1-6/+22
2016-12-25Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-13/+13
2016-12-24No more tears!ubsan1-13/+13
2016-12-24MIR Gen - Fix some bugs exposed by extended validationJohn Hodge1-2/+13
2016-12-24MIR Check - VarState past switchJohn Hodge1-1/+4
2016-12-21MIR Check - Extended validation based on value stateJohn Hodge1-7/+151
2016-12-18MIR Check - Structure for checking variable validityJohn Hodge1-1/+124
2016-12-14Consteval - Re-enabled full first-pass constevalJohn Hodge1-101/+6
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge1-9/+2
2016-12-04MIR - Move vtable conversion to its own passJohn Hodge1-284/+3
2016-12-03MIR - Create a CallPath terminatorJohn Hodge1-2/+9
2016-12-03HIR/MIR - VTable workJohn Hodge1-0/+4
2016-11-20MIR+HIR Validation - Expand associated types in return typeJohn Hodge1-3/+4
2016-11-20MIR - Union support hacked upJohn Hodge1-29/+51
2016-11-19MIR Validate - Replace ErasedType instances in checked return typeJohn Hodge1-1/+17
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-1/+1
2016-10-23MIR Validate - (minor) commentingJohn Hodge1-1/+1
2016-10-23MIR Validate - Fix some literal typesJohn Hodge1-2/+7
2016-10-23MIR Validate - Check result type from RValue::ConstantJohn Hodge1-0/+73
2016-10-23MIR Validate - Extended validation with type checkingJohn Hodge1-8/+400
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-1/+1
2016-08-21MIR Check - Check for `Invalid` terminatorsJohn Hodge1-6/+72
2016-08-21MIR Validate - Stub MIR validation passJohn Hodge1-0/+102
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-23 15:25:04 +0000