aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/analysis
AgeCommit message (Expand)AuthorFilesLines
2021-06-15replace analysis dir with lint dir and rename liveness to markliveThomas Young4-595/+0
2021-06-11HIR should not contain any macrosPhilip Herron1-7/+1
2021-05-31Reusing AST::Attribute and removing HIR::Attribute.Thomas Young1-11/+0
2021-04-12add more path to collect live symbolsThomas Young3-34/+153
2021-04-09Add unused code passThomas Young4-0/+493
2020-12-17Remove old analysis framework and strip the AST->GIMPLE pass this needsPhilip Herron9-4576/+0
2020-12-17Introduce HIR MappingPhilip Herron1-57/+0
2020-12-09Merge branch 'master' of https://github.com/redbrain/gccrsSimplyTheOther3-16/+515
2020-12-09Fixed rust-type-resolution.cc compile errorSimplyTheOther1-1/+1
2020-12-08Added more cfg stripping codeSimplyTheOther1-1/+1
2020-12-08Added new pattern strippingSimplyTheOther1-11/+11
2020-12-08Added more expr cfg strippingSimplyTheOther1-2/+2
2020-12-08Added more expr strippingSimplyTheOther2-19/+19
2020-12-08Added more expression strippingSimplyTheOther2-9/+9
2020-12-08Added cfg stripping for some expressionsSimplyTheOther1-9/+9
2020-12-08Added more trait item strippingSimplyTheOther1-12/+12
2020-12-03Type Resolve ReturnExpr's to ensure they match the function type.Philip Herron2-3/+57
2020-12-03We cannot lookup types to ensure they are known as AST::Type differsPhilip Herron1-14/+14
2020-12-01GIMPLE coversions for ArrayIndexExpr and Arrays with valuesPhilip Herron1-0/+10
2020-12-01Mark this as a FIXME memory leakPhilip Herron1-0/+1
2020-12-01Ensure the array index is of integer type.Philip Herron1-1/+9
2020-12-01Resolve the type from an ArrayIndexExpressionPhilip Herron3-9/+290
2020-12-01Add Type resolution to Array expressionsPhilip Herron1-8/+156
2020-11-28No need to declare Type as inferedType when it is already definedPhilip Herron1-7/+0
2020-11-28Remove unused and add FIXMEPhilip Herron1-0/+4
2020-11-28Improved parsing of MatchExpr (and AST structure)SimplyTheOther6-18/+18
2020-11-28Type Resolve Struct initializtion of their fieldsPhilip Herron2-6/+107
2020-11-28Refactor type resolution scoping to use a simple class akin to backend codePhilip Herron3-55/+159
2020-11-28Struct record compilation and type resolutionPhilip Herron2-1/+18
2020-11-28Remove redundant virtual functions in Resolution classNala Ginrut1-205/+0
2020-11-28Add basic functions of name resolutionNala Ginrut1-6/+35
2020-11-28Add function signature in rust-name-resolution.hNala Ginrut1-0/+7
2020-11-28Add comments on the algorithm of name resolutionNala Ginrut1-0/+40
2020-11-28Ensure number of arguments match number of parameters to function before type...Philip Herron1-0/+8
2020-11-28Remove scoping in TypeResolution destructorNala Ginrut1-6/+1
2020-11-28Remove scoping in NameResolution destructorNala Ginrut1-5/+2
2020-11-28Move scoping to Resolution classNala Ginrut1-2/+13
2020-11-28add type resolution to parameters and return types of functionsPhilip Herron2-0/+43
2020-11-28Add the referenced function to the CallExpr when resolvedPhilip Herron1-0/+2
2020-11-28Add type resolution to CallExprPhilip Herron5-6/+120
2020-11-28Add rust-name-resolutionNala Ginrut2-0/+816
2020-11-28Add rust-type-resolutionNala Ginrut2-0/+1089
2020-11-28Refactor Resolution classNala Ginrut1-194/+196
2020-11-28Add in a toplevel pass to grab global declarations for analysis passPhilip Herron4-6/+813
2020-11-28Reuse typeComparison checks in assignments and expressionsPhilip Herron2-61/+26
2020-11-28Initial type comparison code for error: E0308Philip Herron2-5/+73
2020-11-28Template the scope classPhilip Herron2-7/+7
2020-11-28Infer types for AssignmentExprPhilip Herron1-1/+26
2020-11-28Infer types to scope for FunctionParamsPhilip Herron1-18/+21
2020-11-28Do inferencing on Expressions needs type match checkingPhilip Herron1-8/+35