Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Everything fails on MacOS 14 because of attributes with assignment in time.h #168

Closed
vesalvojdani opened this issue Jun 6, 2024 · 0 comments · Fixed by #171
Closed

Everything fails on MacOS 14 because of attributes with assignment in time.h #168

vesalvojdani opened this issue Jun 6, 2024 · 0 comments · Fixed by #171
Assignees
@sim642
Labels
bug
Milestone
2.0.4

Comments

@vesalvojdani
Copy link
Member

vesalvojdani commented Jun 6, 2024 •
edited
Loading

Running goblint on Mac OS 14 (maybe limited to older Intel Macs) fails immediately because of attributes like __attribute__((availability(macos,introduced=10.15))). We can handle something like __attribute__((availability(macos,introduced && 10))), but CIL does not handle assignment expressions and I'm not sure what 10.15 actually is because gcc 14 can also handle introduced=10.15.2, so are these strings then?

Anyway, the problem is goblint fails out-of-the-box on Intel Macs with the current OS.
@sim642 sim642 added the bug label Jul 24, 2024
@sim642 sim642 mentioned this issue Jul 25, 2024
Open
@sim642 sim642 self-assigned this Jul 25, 2024
sim642 added a commit that referenced this issue Jul 25, 2024
@sim642
Add test for assign in attribute (issue #168)
7a522fc
@sim642 sim642 mentioned this issue Jul 25, 2024
Merged
@sim642 sim642 added this to the 2.0.4 milestone Jul 25, 2024
@sim642 sim642 mentioned this issue Jul 30, 2024
Merged
sim642 added a commit to sim642/opam-repository that referenced this issue Jul 30, 2024
@sim642
[new release] goblint-cil (2.0.4)
5562b0e 
CHANGES:

* Add `Return` statement expression location (goblint/cil#167).
* Add `availability` attribute support (goblint/cil#168, goblint/cil#171).
* Remove unused `Libmaincil` module (goblint/cil#165).
* Fix some synthetic locations (goblint/cil#166, goblint/cil#167).
@vesalvojdani vesalvojdani changed the title Everything fails on MacOS 15 because of attributes with assignment in time.h Everything fails on MacOS 14 because of attributes with assignment in time.h Aug 6, 2024
avsm pushed a commit to avsm/opam-repository that referenced this issue Sep 5, 2024
@sim642 @avsm
[new release] goblint-cil (2.0.4)
539d3c6 
CHANGES:

* Add `Return` statement expression location (goblint/cil#167).
* Add `availability` attribute support (goblint/cil#168, goblint/cil#171).
* Remove unused `Libmaincil` module (goblint/cil#165).
* Fix some synthetic locations (goblint/cil#166, goblint/cil#167).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sim642 sim642

Labels
bug
Projects
None yet
Milestone
2.0.4
Development

Successfully merging a pull request may close this issue.

Add assignment and floating-point constant attributes goblint/cil
2 participants
@sim642 @vesalvojdani