aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier
AgeCommit message (Expand)AuthorFilesLines
2020-08-16Add "char" typeSamuel Lidén Borell5-11/+36
2020-07-16Constexpr: Implement struct, array and enum comparison. Add test and fix bugsSamuel Lidén Borell1-0/+10
2020-07-14C backend: Don't output incomplete types. Fix detection in generic typesSamuel Lidén Borell2-1/+4
2020-07-13Tests: Add missing return statements to testsSamuel Lidén Borell20-22/+21
2020-07-13Identifier: Allow type parameter references from typedef statementsSamuel Lidén Borell2-0/+32
2020-07-09Tests: Fix "useless expression" errors in testsSamuel Lidén Borell1-4/+4
2020-07-09Verifier: Check for useless expressionsSamuel Lidén Borell2-0/+34
2020-07-04Parser: Change precedence of makeopt operatorSamuel Lidén Borell1-2/+2
2020-07-03Tests: Extend the existing tests + fix locale bug in scriptSamuel Lidén Borell3-2/+12
2020-07-03Verifier: Add type checks on equality/inequality operatorsSamuel Lidén Borell2-0/+7
2020-07-03Verifier: Fix array index operation on multi-dimensional array literalsSamuel Lidén Borell4-1/+17
2020-07-01Verifier: Types of dereferenced pointers do not need to match exactlySamuel Lidén Borell1-0/+29
2020-06-29Constexpr: Handle constexprs referencing other constexprs properlySamuel Lidén Borell3-1/+28
2020-06-27Verifier: Allow multi-assignment with mixed destination typesSamuel Lidén Borell3-0/+27
2020-06-25Verifier: Add check that left assignment operands can be assigned toSamuel Lidén Borell1-0/+1
2020-06-25Parser: Hide loop variables in statements following the loopSamuel Lidén Borell1-0/+6
2020-06-25Verifier: Improved array length comparisonSamuel Lidén Borell1-4/+4
2020-06-25Identifier: Disallow duplicate typedef using "here" identifierSamuel Lidén Borell2-1/+6
2020-06-25Verifier: Fix detection of incomplete optional typesSamuel Lidén Borell1-0/+3
2017-09-01Add various TODOs and commentsSamuel Lidén Borell1-1/+1
2017-08-29Verifier: Limit when var/const qualifiers can be usedSamuel Lidén Borell6-79/+33
2017-08-22C backend: Implement proper comparison between optional typesSamuel Lidén Borell1-2/+4
2017-08-19Constexpr: Implement (in)equality operation for scalar typesSamuel Lidén Borell1-0/+15
2017-08-19Tests: Test "for" loop over nested arraysSamuel Lidén Borell1-0/+5
2017-08-19C backend: Correctly declare all temporaries for "for" loops over arraysSamuel Lidén Borell1-0/+10
2017-08-14Tests: Add an old test of identifier hashmap size expansionSamuel Lidén Borell1-0/+508
2017-08-14Verifier: Check that "return" statement has a value for non-void functionsSamuel Lidén Borell2-0/+27
2017-08-14Verifier: Fix comparison against expressions of ambigiuous typeSamuel Lidén Borell2-2/+34
2017-08-12C backend: Assign non-scalar parametric types indirectly via a pointerSamuel Lidén Borell1-1/+17
2016-04-23C backend: Use typerefs and implement translation of incomplete generic typesSamuel Lidén Borell1-0/+1
2016-03-27Constexpr: Implement typeassert properlySamuel Lidén Borell1-0/+2
2016-03-27Constexpr: Check that computed values fit in the target integer typeSamuel Lidén Borell2-0/+68
2016-03-25Constexpr: Implement bitwise shifts, and refactor the code a bitSamuel Lidén Borell1-0/+8
2016-03-22Constexpr: Implement bitwise logic operators (bitand, bitor, bitxor)Samuel Lidén Borell1-0/+8
2016-03-22Verifier: Forbid eint target type in left shift and compl operationsSamuel Lidén Borell2-0/+5
2016-03-20Verifier: Require unsigned integer operands to bitwise operatorsSamuel Lidén Borell1-0/+10
2016-03-20Verifier: Always check the type in as/typeassert expressionsSamuel Lidén Borell1-0/+2
2016-03-19Verifier: Add missing test of disallowed assignments in expressionsSamuel Lidén Borell1-0/+26
2016-03-02Verifier: Disallow assignment operations in expressionsSamuel Lidén Borell1-1/+1
2016-03-01Constexpr: Fix char values >= 128 with string index operationSamuel Lidén Borell1-0/+4
2016-03-01Verifier: Fix fail() with for loops with bad syntaxSamuel Lidén Borell1-0/+2
2016-02-25Verifier: Always do type determination of lvaluesSamuel Lidén Borell1-0/+3
2016-02-25Verifier: Fix type determination of logic and comparison operationsSamuel Lidén Borell1-0/+6
2016-02-18C backend: Fix assignment of non-pointer none valuesSamuel Lidén Borell2-1/+5
2015-03-01Parser/Verifier: Fix more bugs found with zzufSamuel Lidén Borell1-0/+1
2015-02-28Fix most remaining crashes and freezes found with zzufSamuel Lidén Borell5-0/+47
2015-02-27Constexpr: Detect expressions with cycles and report an errorSamuel Lidén Borell1-0/+8
2015-02-26Parser/Verifier: Fix some crashes and freezes found with zzufSamuel Lidén Borell1-0/+6
2015-02-26Tests: Test multi dimensional array index operationSamuel Lidén Borell1-0/+1
2015-02-25Verifier: Remove type scope from structs, unions and bitfieldsSamuel Lidén Borell1-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-30 22:00:47 +0000