aboutsummaryrefslogtreecommitdiff
path: root/compiler/verify.c
AgeCommit message (Expand)AuthorFilesLines
2020-08-16Add "char" typeSamuel Lidén Borell1-8/+9
2020-07-14C backend: Don't output incomplete types. Fix detection in generic typesSamuel Lidén Borell1-2/+2
2020-07-13Verifier: Check for invalid type parameter referencesSamuel Lidén Borell1-0/+14
2020-07-09Verifier: Check for useless expressionsSamuel Lidén Borell1-4/+24
2020-07-05Add "with" to switch-case statement, to track which case was matchedSamuel Lidén Borell1-2/+4
2020-07-04Parser: Add check of break/continue statementSamuel Lidén Borell1-3/+1
2020-07-03C interop: Add support for private/incomplete struct typedefsSamuel Lidén Borell1-1/+1
2020-07-03Verifier: Add type checks on equality/inequality operatorsSamuel Lidén Borell1-2/+35
2020-07-03Verifier: Fix array index operation on multi-dimensional array literalsSamuel Lidén Borell1-2/+11
2020-07-01Verifier: Types of dereferenced pointers do not need to match exactlySamuel Lidén Borell1-6/+13
2020-07-01Verifier: Reduce the number of errors from malformed typeassertsSamuel Lidén Borell1-0/+1
2020-06-29Constexpr: Handle constexprs referencing other constexprs properlySamuel Lidén Borell1-7/+53
2020-06-27Fix possible case fall-through for floats. Make macro more robustSamuel Lidén Borell1-0/+2
2020-06-27Use enum values and const in some more placesSamuel Lidén Borell1-3/+5
2020-06-27Verifier: Allow multi-assignment with mixed destination typesSamuel Lidén Borell1-8/+16
2020-06-25Verifier: Add check that left assignment operands can be assigned toSamuel Lidén Borell1-0/+59
2020-06-25Verifier: Improved array length comparisonSamuel Lidén Borell1-3/+28
2020-06-25Verifier: Fix detection of incomplete optional typesSamuel Lidén Borell1-1/+3
2020-06-25Identifier: Make type parameters accessible within the same namespaceSamuel Lidén Borell1-3/+13
2017-08-30Verifier: Check the type in typeassert statementsSamuel Lidén Borell1-0/+1
2017-08-29Verifier: Fix typedef statements (typedefs inside functions)Samuel Lidén Borell1-13/+12
2017-08-28Add Makefile target to run clang-tidy, and fix most warningsSamuel Lidén Borell1-1/+2
2017-08-28Verifier: Revert removed cast, it is needed to do pointer arithmeticSamuel Lidén Borell1-1/+1
2017-08-27Remove some castsSamuel Lidén Borell1-1/+1
2017-08-18Update copyright yearsSamuel Lidén Borell1-1/+1
2017-08-18Verifier: Require constant case expressions, and evaluate themSamuel Lidén Borell1-35/+25
2017-08-17C backend: Implement non-scalar switch statementSamuel Lidén Borell1-0/+1
2017-08-16C backend: Implement makeopt operatorSamuel Lidén Borell1-0/+2
2017-08-14Verifier: Check that "return" statement has a value for non-void functionsSamuel Lidén Borell1-2/+15
2017-08-14Verifier: Fix comparison against expressions of ambigiuous typeSamuel Lidén Borell1-43/+13
2017-08-04Verifier: Add TODOs about pointer compatibility and aliasingSamuel Lidén Borell1-0/+5
2016-04-23C backend: Use typerefs and implement translation of incomplete generic typesSamuel Lidén Borell1-23/+33
2016-04-17Parser: Add "unreachable" statementSamuel Lidén Borell1-0/+3
2016-04-16Add "assert" statementSamuel Lidén Borell1-0/+6
2016-04-03Context: Fix "cycle detected" error with identifiers from interop statementsSamuel Lidén Borell1-0/+1
2016-04-03Verifier: Don't try to compare exprs with unbound identifiersSamuel Lidén Borell1-0/+6
2016-03-27Constexpr: Check that computed values fit in the target integer typeSamuel Lidén Borell1-149/+13
2016-03-22Verifier: Forbid eint target type in left shift and compl operationsSamuel Lidén Borell1-0/+29
2016-03-20Verifier: Require unsigned integer operands to bitwise operatorsSamuel Lidén Borell1-2/+20
2016-03-20Verifier: Always check the type in as/typeassert expressionsSamuel Lidén Borell1-0/+2
2016-03-16Verifier: Make lrl_vfy_expr() static and rename it accordinglySamuel Lidén Borell1-57/+62
2016-03-16Verifier: Remove display_typeSamuel Lidén Borell1-94/+76
2016-03-02Verifier: Disallow assignment operations in expressionsSamuel Lidén Borell1-49/+62
2016-03-01Verifier: Fix fail() with for loops with bad syntaxSamuel Lidén Borell1-3/+4
2016-02-28Update copyright years base on last modification dateSamuel Lidén Borell1-1/+1
2016-02-28Verifier/C backend: Update commentsSamuel Lidén Borell1-3/+8
2016-02-27C backend: Handle comparisons with mixed signednessSamuel Lidén Borell1-111/+10
2016-02-25Verifier: Always do type determination of lvaluesSamuel Lidén Borell1-4/+9
2016-02-25Verifier: Fix type determination of logic and comparison operationsSamuel Lidén Borell1-37/+25
2015-07-20Remove trailing whitespace (except in indentation)Samuel Lidén Borell1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-22 06:26:42 +0000