Skip to content

PruneTemporaryBindings results in an array index warning being issued twice #692

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.

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

Closed
secure-sw-dev-bot opened this issue Jan 16, 2022 · 0 comments
Labels
bug Something isn't working

Comments

@secure-sw-dev-bot
Copy link

This issue was copied from checkedc/checkedc-clang#696


After pruning temporary bindings from member expression bounds in #694, an "array index exceeds bounds" warning is issued twice in the following example (taken from the memory-access-checking test):

struct S { int i;  int j; };
struct S global_arr2 _Checked[10];
void f5(_Array_ptr<struct S> param_arr : count(10)) {
  _Ptr<int> p = &(global_arr2[11].i);
}
@secure-sw-dev-bot secure-sw-dev-bot added the bug Something isn't working label Jan 16, 2022
dtarditi pushed a commit that referenced this issue Jan 21, 2022
We previously used the _3COptions structure to store command line options
immediately after they were parsed, but later copied the option values out of
this structure and into global variables for use in the rest of the program.
This change deletes the global variables and replaces them with a single
global instance of the _3COptions structure.
dtarditi pushed a commit that referenced this issue Jan 21, 2022
This is a follow up PR from #692 that moves all command line options into the
_3COptions structure, moves all of 3C's command line options into the same
category so that all options are shown by -help (fixes #393), and reformats some
of the code around creating command line options.

It also removes the the option -enable-itypeprop which was not referenced
anywhere in the code.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant