[acl2/acl2] 656d14: [C$] Improve inference of implicit designations

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 656d146d9e25df9f8766d2b17a07e24174def10f
https://github.com/acl2/acl2/commit/656d146d9e25df9f8766d2b17a07e24174def10f
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-05-05 (Tue, 05 May 2026)

Changed paths:
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Improve inference of implicit designations

This fixes a case where anonymous struct/unions were causing
designation inference to fail.


Commit: 49bba68fde9a8f0c93c571fbba5ef1118304fd7e
https://github.com/acl2/acl2/commit/49bba68fde9a8f0c93c571fbba5ef1118304fd7e
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-05-05 (Tue, 05 May 2026)

Changed paths:
M books/kestrel/c/syntax/tests/validator.lisp

Log Message:
-----------
[C$] Add validator test for implicit designation inference

Add a test case that checks the validator correctly infers implicit
designations for a list of undesignated initializers. The test includes
bit-fields (named and unnamed) and an anonymous union.

Co-Authored-By: Claude Sonnet 4.6 <nor...@anthropic.com>


Compare: https://github.com/acl2/acl2/compare/5a701f9e246a...49bba68fde9a

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing