microsoft / microsoft/jbpf

Prevent optimizing out a map

Open
#84 0 comments 0 reactions 1 assignee View on GitHub

@xfoukas is already working on this.

Since Apr 28, 2025.

Dominant language
C
Stars
73
Forks
23
Avg merge
21h 17m
Merged PRs (30d)
1

Description

Is your feature request related to a problem? Please describe.

If a map is not being used, it is optimized out by the compiler. This creates problems elsewhere in the development chain, for example when linking maps (see issue #83 ).

Describe the solution you'd like

The preferred solution would be to raise an error if a map is declared but not used.
Another acceptable solution would be to allocate a map and silently ignore that it is not being used.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.