Skip to content

C++: Uncomment cases in dbscheme #11799

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

Merged
merged 3 commits into from
Jan 6, 2023
Merged

Conversation

jketema
Copy link
Contributor

@jketema jketema commented Jan 3, 2023

This uncomments some of the case splits in the C++ dbscheme.

@function.kind and @usertype.kind cannot be uncommented, as that would make them a source of database inconsistencies. Those should be solved first before uncommenting these case splits. I have re-worked them slightly to make uncommenting straightforward.

The builtin types __int{8,16,32,64} are not uncommented, as these are never and could have never been generated by the extractor.

The remaining cases that are commented out, are actually not case splits, as they do not refer to definitions of opaque types.

DCA was ran on the internal PR. Test here are expected to fail but should pass on the internal PR.

@github-actions github-actions bot added the C++ label Jan 3, 2023
@jketema jketema added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Jan 3, 2023
@jketema jketema force-pushed the case-uncomment branch 5 times, most recently from a8cb64f to c66157e Compare January 4, 2023 08:55
@jketema jketema added the no-change-note-required This PR does not need a change note label Jan 4, 2023
@jketema jketema marked this pull request as ready for review January 5, 2023 14:03
@jketema jketema requested a review from a team as a code owner January 5, 2023 14:04
@jketema jketema force-pushed the case-uncomment branch 3 times, most recently from 3119041 to 9607c8a Compare January 6, 2023 10:09
Note that the builtin types `__int{8,16,32,64}` are not uncommented,
as these are never and could have never been generated by the
extractor.
@jketema jketema merged commit a743fbc into github:main Jan 6, 2023
@jketema jketema deleted the case-uncomment branch January 6, 2023 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants