-
Notifications
You must be signed in to change notification settings - Fork 1.7k
C++: Support the __mfp8
floating point type
#19688
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
Conversation
cad12d4
to
883d23c
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
Adds full support for the new __mfp8
built-in floating-point type across tests, DB schema, query logic, and upgrade/downgrade scripts.
- Extend all relevant library-test expectations to include
__mfp8
- Map value 62 to
__mfp8
insemmlecode.cpp.dbscheme
andType.qll
- Provide upgrade and downgrade scripts for the new type
Reviewed Changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated 2 comments.
Show a summary per file
File | Description |
---|---|
cpp/ql/test/library-tests/variables/variables/types.expected | Added __mfp8 to variable types table |
cpp/ql/test/library-tests/unspecified_type/types/unspecified_type.expected | Added __mfp8 to unspecified types |
cpp/ql/test/library-tests/type_sizes/type_sizes.expected | Added size expectation (1) for __mfp8 |
cpp/ql/test/library-tests/templates/type_instantiations/types.expected | Added __mfp8 to template instantiations |
cpp/ql/lib/upgrades/9a7c3c14c1076f64b871719117a558733d987b48/upgrade.properties | Describes full upgrade support for __mfp8 |
cpp/ql/lib/semmlecode.cpp.dbscheme | Maps built-in kind 62 to @mfp8 |
cpp/ql/lib/semmle/code/cpp/Type.qll | Extends floatingPointTypeMapping to include __mfp8 |
cpp/downgrades/af887e83a815a9cefe774ffa80e2493a1365b9e2/upgrade.properties | Describes backward downgrade support for __mfp8 |
cpp/downgrades/af887e83a815a9cefe774ffa80e2493a1365b9e2/builtintypes.ql | Adds downgrade mapping for kind 62 → kind 1 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM 👍
No description provided.