summaryrefslogtreecommitdiffstats
path: root/src/semantic-analysis.c
Commit message (Expand)AuthorAgeFilesLines
* Support calling functions with argumentsTing-Wei Lan2016-01-201-0/+3
* Generate code for return statementsTing-Wei Lan2016-01-021-1/+1
* Fill type_value for ID nodes of newly declared variablesTing-Wei Lan2016-01-021-0/+1
* Add missing else statement checkkugwa2015-12-311-0/+5
* Fix error detection in check_call()kugwa2015-12-111-5/+10
* Handle builtin functions: read, fread, writeTing-Wei Lan2015-12-101-0/+25
* Check return type when a function returnskugwa2015-12-101-1/+30
* Complete check_call() and case CCMMC_KIND_STMT_FORkugwa2015-12-101-12/+106
* Scalars cannot be used as arrays and arrays cannot be used as scalarsTing-Wei Lan2015-12-091-0/+10
* Check and write computed types for expressions and arraysTing-Wei Lan2015-12-091-7/+176
* process_{relop_expr, var_ref} -> check_{relop_expr, var_ref}kugwa2015-12-091-2/+44
* Handle array dimension error of function parameterskugwa2015-12-091-6/+10
* process_{typedef,variable,function} -> decl_{typedef,variable,function}Ting-Wei Lan2015-12-091-9/+9
* retrive -> retrieveTing-Wei Lan2015-12-091-5/+5
* Fix crash when constant expressions include string literalsTing-Wei Lan2015-12-091-1/+8
* Can declare local variable and write empty statementskugwa2015-12-081-3/+24
* Move code for block node into process_block()kugwa2015-12-081-34/+62
* Can declare functions with empty blockskugwa2015-12-081-18/+73
* Implement checks for global variable initalizersTing-Wei Lan2015-12-071-46/+185
* Reject void variables and void arrays.Ting-Wei Lan2015-12-071-0/+11
* Write results to AST nodes when evaluating constant expressionsTing-Wei Lan2015-12-071-88/+62
* Allow using typedef with array typesTing-Wei Lan2015-12-071-4/+15
* Fix problems caused by short-circuit evaluationTing-Wei Lan2015-12-071-4/+4
* Handle constant expressions with integer division by zeroTing-Wei Lan2015-12-071-4/+9
* Re-add line number fields in AST nodesTing-Wei Lan2015-12-071-10/+19
* Implement semantic checks for type and variable declarationsTing-Wei Lan2015-12-061-2/+353
* We are going to do semantic analysisTing-Wei Lan2015-12-061-0/+15