aboutsummaryrefslogtreecommitdiff
path: root/expr.c
AgeCommit message (Collapse)Author
2020-04-05expr: Just ignore decayed operand in unary `&` operatorMichael Forney
Reusing the decayed expression is more complicated, and only saved one malloc.
2020-04-04expr: Add type checking for equality and relational expressionsMichael Forney
2020-04-04expr: Fix type of '&' operator applied to arrayMichael Forney
It should be a pointer to the array, not to the first element (as it would after implicit conversion without the '&' operator).
2020-03-18expr: Slight simplification in function call parsingMichael Forney
2020-01-30expr: String literals have complete typeMichael Forney
2019-12-27expr: Disallow function/incomplete types and bit-fields in sizeof/_AlignofMichael Forney
2019-08-12Revert "expr: Fix cast of same type"Michael Forney
This reverts commit 1a38a5fc4844a0de8729be694a62ba0afce3ff52. This breaks comparisons bitfields in some cases, for instance extern struct {unsigned x:31;} s; int main(void) { return (unsigned)s.x - 1 < 0; } If we discard the cast, then it is a signed comparison because of integer promotion for bit-fields, otherwise it is an unsigned comparison. Additionally, the test case this was meant to fix is not actually ISO C, since casts must be to scalar types or `void`.
2019-07-11expr: Fix cast of same typeMichael Forney
2019-07-03Implement no-op __builtin_expectMichael Forney
2019-06-27Implement prefixed character constantsMichael Forney
2019-05-12eval: Keep track of kind of constant expression we are evaluatingMichael Forney
When we are evaluating an arithmetic constant expression, we don't want to indroduce static data definitions for string or compound literals. Fixes #59.
2019-04-24Use a common member for expression baseMichael Forney
2019-04-24Use a common member for expression opMichael Forney
2019-04-24expr: Free subexpressions in delexprMichael Forney
2019-04-24Implement _Generic selectionMichael Forney
2019-04-23Fix integer promotion on bit-fieldsMichael Forney
Fixes #47.
2019-04-23Improve some error messagesMichael Forney
2019-04-23expr: Add mkincdecexpr for pre/postfix inc/decrement operatorsMichael Forney
2019-04-23expr: Use tokstr in ++/-- operator error messagesMichael Forney
2019-04-23expr: Add some type checking for unary operatorsMichael Forney
2019-04-23expr: Check qualifiers when parsing ++/-- expressionsMichael Forney
2019-04-22expr: Fix check of not enough arguments for function callMichael Forney
2019-04-21Keep track of type properties in typeMichael Forney
2019-04-20Shorten some names with 'long'Michael Forney
2019-04-17Allow designators in __builtin_offsetofMichael Forney
2019-04-16Implement __builtin_types_compatible_pMichael Forney
This is used by util-linux.
2019-04-15expr: Handle compound assignment of bit-fieldsMichael Forney
2019-04-15expr: Simplify assignexpr slightlyMichael Forney
2019-04-15StyleMichael Forney
2019-04-15expr: Check operand to '&' operatorMichael Forney
2019-04-14Initial support for loading/storing bit-fieldsMichael Forney
2019-04-13Revert "Fold constexpr function into intconstexpr"Michael Forney
This reverts commit a080e36dac54b82beef63580f36cb0da9ad31788.
2019-04-10expr: Pointer arithmetic requires complete *object* typesMichael Forney
2019-04-07expr: Handle parenthesized paremeter name in __builtin_va_startMichael Forney
FreeBSD defines va_start(ap, last)=__builtin_va_start((ap), (last))
2019-04-06expr: Just use `unsigned long long` when calculating integer constant typeMichael Forney
Ideally, we shouldn't use uint64_t at all since it is not guaranteed to exist, and this case is easy enough to fix.
2019-04-06Track type qualifiers separatelyMichael Forney
Using a special qualified type kind has a number of problems: - Important fields such as size, align, and incomplete may not be set, since the qualified type was created before a struct was completed. - When we don't care about type qualifiers (which is the usual case), we have to explicitly unqualify the type which is annoying and error-prone. Instead, in derived types, keep track of the qualifiers of the base type alongside the base type (similar to what is done for members, parameters, declarations, and expressions in the past few commits).
2019-04-06Separate unqualified type and qualifiers in struct declMichael Forney
2019-04-06Separate unqualified type and qualifiers in struct memberMichael Forney
2019-04-06Separate unqualified type and qualifiers in struct exprMichael Forney
2019-04-05expr: Make lvalue default to false, and set where neededMichael Forney
2019-04-05expr: Use separate fields for lvalue and decayed instead of flagsMichael Forney
2019-04-04Merge headers into cc.hMichael Forney
2019-04-03Error on bit-field access for nowMichael Forney
2019-04-03Revert "Make member access its own expression type"Michael Forney
This reverts commit b3865e402e426387d4cdccdcd249a02d5ba1bc05. This breaks member address expressions in static initializers. We can support bit-fields by instead adding a "bit-field" expression that affects loads and stores to the underlying object.
2019-04-03Make member access its own expression typeMichael Forney
2019-03-15__builtin_constant_p doesn't need to consider address constantsMichael Forney
2019-03-14Don't need a table of int maximumsMichael Forney
2019-03-14Use precedence climbing to parse binary expressionsMichael Forney
2019-03-14Abbreviate tag namesMichael Forney
2019-03-12Implement __builtin_constant_pMichael Forney
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 10:04:56 +0000