Skip to content
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

Incorrect template type evaluation when matching MARK ops #385

Open
fwendland opened this issue Dec 15, 2021 · 0 comments
Open

Incorrect template type evaluation when matching MARK ops #385

fwendland opened this issue Dec 15, 2021 · 0 comments
Assignees
Labels
bug Something isn't working

Comments

@fwendland
Copy link
Collaborator

fwendland commented Dec 15, 2021

In MARK entities we can define ops. They collect functions/methods with a common purpose but different signatures. To differentiate between functions/methods with the same name we can provide type specifiers to parameters of ops.

Generic/Template types are not properly resolved in Codyze.

For example, in BotanRuleTest.test_rule_2_1_01() the method set_key() is not identified by Codyze. There is a type mismatch in the op itself but even when changing the type to Botan::secure_vector<uint8_t> doesn't fix the problem. Only the non generic type Botan::secure_vector is recognized.

@fwendland fwendland added the bug Something isn't working label Dec 15, 2021
@fwendland fwendland self-assigned this Dec 15, 2021
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