aboutsummaryrefslogtreecommitdiffhomepage
path: root/src-cslul/exprchk.c
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell1-1/+6
2024-05-14ir: Emit compile-time constant array/struct literals as datadefsSamuel Lidén Borell1-1/+38
2024-05-13exprchk: Add none-ness check in deref exprsSamuel Lidén Borell1-1/+4
2024-05-12Check none-ness in implicit dereferencingSamuel Lidén Borell1-6/+5
2024-05-12Check return value of real_deref_tr in arraysSamuel Lidén Borell1-2/+2
2024-05-12Fix index operation on references to arraysSamuel Lidén Borell1-2/+2
2024-05-12Allow passing not-none values to non-optional refsSamuel Lidén Borell1-2/+4
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-05-11exprchk: Fix potential null dereferenceSamuel Lidén Borell1-1/+1
2024-05-11Tracking of variable none-nessSamuel Lidén Borell1-2/+13
2024-05-10exprchk: Don't const-expr evaluate array/struct variables into literalsSamuel Lidén Borell1-4/+24
2024-05-09exprchk: Fix clang warningSamuel Lidén Borell1-0/+1
2024-05-03exprchk: Don't use T_INTERNAL when the target type is knownSamuel Lidén Borell1-0/+6
2024-05-02exprchk: Constant evaluation of comparison operatorsSamuel Lidén Borell1-2/+51
2024-03-09exprchk: Fix compiler warning with "gcc -Og"Samuel Lidén Borell1-2/+2
2024-03-02Detect type-confusion of structs in SLUL_DEBUG modeSamuel Lidén Borell1-0/+13
2024-03-02Fix error recovery in the semantic checkerSamuel Lidén Borell1-10/+31
2024-01-01Skip version check of fields from module's own interfaceSamuel Lidén Borell1-3/+11
2023-12-12Fix handling of back-dependencies on main moduleSamuel Lidén Borell1-2/+7
2023-10-08Check version when binding struct fieldsSamuel Lidén Borell1-1/+38
2023-10-07Check version when binding typeidentifiers/method identifiersSamuel Lidén Borell1-25/+10
2023-09-16Avoid some strlen callsSamuel Lidén Borell1-2/+7
2023-09-10Implement search for methods and typeidents in other modules alsoSamuel Lidén Borell1-15/+13
2023-08-22Parser: Fix error messages for certain invalid function call syntaxesSamuel Lidén Borell1-0/+10
2023-08-20Parser: Suppress "type is not clear" error for missing fieldsSamuel Lidén Borell1-2/+5
2023-08-16Fix missing "Operation has no effect" error in some casesSamuel Lidén Borell1-4/+2
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-06-29exprchk: Fix is_called field that was not copiedSamuel Lidén Borell1-0/+1
2023-06-25Remove old comments / TODOsSamuel Lidén Borell1-2/+0
2023-06-19exprchk: Fix corruption in constant evaluation of typeidentsSamuel Lidén Borell1-1/+3
2023-05-16IR generation: Implement methods, "this" and fieldsSamuel Lidén Borell1-1/+3
2023-05-14Basic checking of generic typesSamuel Lidén Borell1-13/+21
2023-05-14Use const in more placesSamuel Lidén Borell1-9/+11
2023-05-14Fix column number for multi-line expressionsSamuel Lidén Borell1-3/+3
2023-05-07Factor out utility functions and type compat checking from exprchk.cSamuel Lidén Borell1-575/+0
2023-05-06Checking of method and constructor callsSamuel Lidén Borell1-17/+97
2023-05-06Include .typeidentifier and .field names in error messagesSamuel Lidén Borell1-5/+11
2023-05-06exprchk: Constant evaluation of unary plus (no-op)Samuel Lidén Borell1-1/+15
2023-05-01Type checking of "refto" and "deref" operationsSamuel Lidén Borell1-16/+99
2023-05-01Named function argumentsSamuel Lidén Borell1-21/+50
2023-04-30Checking of open/closed structsSamuel Lidén Borell1-5/+16
2023-04-30Fix compiler warning about shadowed variableSamuel Lidén Borell1-2/+2
2023-04-30Parsing and basic checks of literal struct values with named fieldsSamuel Lidén Borell1-4/+72
2023-04-21Add checks of since-versions, and support backportsSamuel Lidén Borell1-2/+2
2023-04-15Add pointer operators: deref, refto, ref_is, ref_is_notSamuel Lidén Borell1-4/+8
2023-04-15exprchk: Silence type incompatibliity errors for non-existing variablesSamuel Lidén Borell1-5/+5
2023-04-14exprchk: Type compatibility checking of structsSamuel Lidén Borell1-7/+35
2023-04-14exprchk: Improved error checks/messagesSamuel Lidén Borell1-35/+76
2023-04-14exprchk: Fix result type of array index operationSamuel Lidén Borell1-0/+8
2023-04-14exprchk: Require numeric expressionsSamuel Lidén Borell1-14/+32
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 16:58:18 +0000