aboutsummaryrefslogtreecommitdiff
path: root/decl.c
AgeCommit message (Collapse)Author
2024-03-22decl: Implement typeof_unqualMichael Forney
2024-03-22Use C23 spelling of typeof in testsMichael Forney
2024-03-21decl: Add support for enums with large values and fixed underlying typesMichael Forney
Fixes: https://todo.sr.ht/~mcf/cproc/64
2024-03-16Store enum underlying type in base fieldMichael Forney
This will facilitate supporting underlying types other than int or unsigned, possible in C23. References: https://todo.sr.ht/~mcf/cproc/64
2024-03-16Fix C23 empty initializersMichael Forney
These should should act as zero initializers, but since init==NULL was used to mean both "no initializer" and "empty initializer", empty initializers weren't zero-initializing the variable.
2023-05-02fix bootstrap by renaming constexpr()Quentin Carbonneaux
The addition of C23 keywords made 'constexpr' unusable as a function name. This prevents cproc from bootstrapping. This patch simply renames the problematic function to 'evalexpr'.
2022-11-26Check object alignment in only one placeMichael Forney
2022-11-26Move kind-specific decl fields to unionMichael Forney
2022-11-26Keep track of asmname in decl and remove globalname()Michael Forney
2022-11-23Use new spelling of keywords in error messagesMichael Forney
2022-08-05Add new C23 keywordsMichael Forney
2022-03-22init: Allow empty initializersMichael Forney
2022-03-22decl: StyleMichael Forney
2022-01-22Remove most usage of fixed-width integer typesMichael Forney
We only require a type of at least 64 bits, so just use unsigned long long. Only siphash remains as the last user of uint64_t.
2022-01-22Remove unused type propertiesMichael Forney
2022-01-22Port to C99Michael Forney
2021-12-06decl: Fix typedefs with type qualifiersMichael Forney
Previously, the qualifiers were saved, but accidentally ignored when the typedef was referenced.
2021-12-06decl: Simplify struct size calculationMichael Forney
2021-12-06decl: Remove struct member name from error messagesMichael Forney
It could be NULL in some cases.
2021-12-06decl: Use strictest alignment when multiple specifiers are presentMichael Forney
This is specified by the last sentence in C11 6.7.5p6.
2021-12-06decl: Enforce that _Alignas is at least as strict as required by typeMichael Forney
2021-10-25decl: Allow alignment > 16 of localsMichael Forney
This is not yet supported by QBE, so for now we allocate a bit extra and choose the address in the allocated region with an aligned address.
2021-10-25decl: Allow alignment > 16 of globals and struct membersMichael Forney
2021-10-25qbe: Use ... to separate named and variadic argumentsMichael Forney
This requires a not-yet-upstream QBE patch, and is needed for riscv64 support, since the calling convention may be different depending on whether the argument is named or variadic.
2021-10-20expr: Add support for wide string literalsMichael Forney
Thanks to Nihal Jere for his initial patches implementing this feature. Fixes #35.
2021-10-03qbe: Remove some unused includesMichael Forney
We now hard-code the float precision in the format string instead of using the float.h macros. The other headers were never used (except maybe prior to the first commit).
2021-09-29Rename uint64_t field of constant union to uMichael Forney
This will prepare us for adding a signed int64_t field called i.
2021-09-29Use unsigned long long for sizes and offsetsMichael Forney
We don't need exact-width integer types here.
2021-09-13Revert "Add stringconcat function to concatenate adjacent string literals"Michael Forney
This reverts commit c16f07acf655b9f4fb006d8256b4027fb5a13aa8. This incorrectly allows octal escapes to span between adjacent string literals (e.g. "\0" "1" is not the same as "\01").
2021-09-07decl: Include location for _Complex/_Atomic error messagesMichael Forney
2021-09-06decl: Relax restrictions for 0-length array memberMichael Forney
Zero-length array members are quite common in linux UAPI headers, where they don't follow the restrictions of flexible array members. Since they are non-standard, relax the error checking for them, rather than considering them the same as a flexible array member.
2021-09-06Fix type-checking of va_list arguments to varargs built-insMichael Forney
If the argument was a function parameter, its type has already been adjusted. So on x86_64, we can't just ignore the automatic array-to-pointer conversion, since it was never a pointer to begin with. Instead, keep track of the adjusted va_list type, and check that the arguments to varargs built-ins match that type.
2021-08-15decl: Don't accept abstract function declarator when disallowedMichael Forney
When declarator() is called with allowabstract == false, the caller can assume that it will always return the identifier being declared. However, abstract function declarators were incorrectly accepted in this case with name set to NULL instead of erroring out due to invalid syntax. To fix this, only skip forward to function declarator parsing for abstract declarators, since this is the only case where we can't immediately tell whether we have a parenthesized declarator or a function declarator. Fixes #74.
2021-07-02qbe: Remove repr from struct value and use per-instruction class insteadMichael Forney
This way we avoid leaking backend-specific details of type representation outside qbe.c. It also facilitates some future simplifications.
2021-07-01decl: Check that the flexible array member (if present) is lastMichael Forney
2021-07-01decl: Disallow members with incomplete typesMichael Forney
Make an exception for flexible array members, though we should also check that the flexible array member, if any, is last.
2021-07-01decl: Check that struct/union has at least one memberMichael Forney
2021-06-28Add stringconcat function to concatenate adjacent string literalsMichael Forney
This function also ensures that the string prefixes (if any) are compatible. It should make it easier to implement wide string support.
2021-04-11decl: Allow _Static_assert in struct declarationMichael Forney
2021-04-11decl: Allow _Alignas(0)Michael Forney
C11 6.7.5p6 says "An alignment specification of zero has no effect".
2020-06-03Revert "decl: Allow out-of-range enum constants when they don't change type"Michael Forney
This reverts commit 6229709b8ae21d7722fef48ad8a9f2f10b900030. I still don't understand how out-of-range enum constants are supposed to work.
2020-06-03decl: Allow out-of-range enum constants when they don't change typeMichael Forney
gcc and clang allow enum constants out of range of int, but this means that the type of enumerator may differ inside and outside the enum specifier. Instead, only allow out-of-range enum constants when their types are compatible with the final enum type.
2020-06-02decl: Improve error message for out-of-range enum constantsMichael Forney
2020-03-16decl: Simplify struct tag parsing slightlyMichael Forney
2020-01-30decl: Better check for inline definitionsMichael Forney
2020-01-30decl: Use list link to determine presence in tentative definition listMichael Forney
2019-11-19decl: Parse array size as an assignment-expressionMichael Forney
Even though we don't support VLAs yet, we should still be parsing the VLA syntax, then failing after if it was not a constant expression.
2019-08-13decl: Allow _Static_assert with no messageMichael Forney
This is accepted for C2X[0]. [0] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2265.pdf
2019-08-13decl: Separate _Static_assert handling to its own functionMichael Forney
2019-08-11decl: Allow enumerator values up to UINT_MAXMichael Forney
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-04 02:13:38 +0000