devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

Reenable build flags #109

New Issue
Closed
opened 2026-04-22 12:53:44 +00:00 by jabber.developer · 0 comments
jabber.developer commented 2026-04-22 12:53:44 +00:00
Owner
Copy Link

Certain build flags were disabled due to pikaur build issue in #106; since we enabled Pikaur parity in CI tests in #108, we can reintroduce these build flags.

The -Wnull-dereference flag started to highlight a lot of code parts, most of which could be resolved by merging #105.

Certain build flags were disabled due to pikaur build issue in #106; since we enabled Pikaur parity in CI tests in #108, we can reintroduce these build flags. The `-Wnull-dereference` flag started to highlight a lot of code parts, most of which could be resolved by merging #105.
jabber.developer added a new dependency 2026-04-22 12:54:13 +00:00
#105 merge/upstream-full
jabber.developer added this to the Plans (2025-2026) project 2026-04-25 18:10:56 +00:00
jabber.developer moved this to In Progress in Plans (2025-2026) on 2026-06-16 11:26:52 +00:00
jabber.developer moved this to Done in Plans (2025-2026) on 2026-06-20 10:51:46 +00:00
jabber.developer moved this to Verification in Plans (2025-2026) on 2026-06-20 10:51:49 +00:00
jabber.developer moved this to Done in Plans (2025-2026) on 2026-06-20 10:52:25 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
Compat/Breaking
Breaking change that won't be backward compatible
Kind/Bug
Something is not working
Kind/Documentation
Documentation changes
Kind/Enhancement
Improve existing functionality
Kind/Feature
New functionality
Kind/Security
This is security issue
Kind/Testing
Issue or pull request related to testing
Priority
Critical
1
The priority is critical
Priority
High
2
The priority is high
Priority
Low
4
The priority is low
Priority
Medium
3
The priority is medium
Reviewed
Confirmed
1
Issue has been confirmed
Reviewed
Duplicate
2
This issue or pull request already exists
Reviewed
Invalid
3
Invalid issue
Reviewed
Won't Fix
3
This issue won't be fixed
Status
Abandoned
3
Somebody has started to work on this but abandoned work
Status
Blocked
1
Something is blocking this issue or pull request
Status
Need More Info
2
Feedback is required to reproduce issue or to continue work
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project Plans (2025-2026)
Assignees
Clear assignees
admin jabber.developer jabber.developer2
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Depends on
#105 merge/upstream-full
devs/cproof
Reference: devs/cproof#109
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?