Gabriel Dos Reis

icon indicating a website link https://www.axiomatics.org/~gdr/

icon location Greater Seattle Area icon location A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools

Results 11 issues of Gabriel Dos Reis

Rule Con.1 can lead to inefficient codegen

1 comment

Enforced application of rule [Con.1](https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#Rconst-immutable) can have detrimental effects on performance. It can force a copy (more expensive operation in general) when a move (a cheaper operation in general) would...

Restrict construction of `enum class` values manifestly outside intended usage

8 comment

Consider ``` enum class TestEnum : uint32_t { One, Two, Three }; int main() { TestEnum t { 17 }; // L1 } ``` Prior to C++17, line L1 was...

Move IPR to C++20 and present the library as a module

What is member variable?

2 comment

The document uses the term "member variable" without indication of what it means. The C++ community has been using the term "non-static data member" for over 40 years and that...

Fix code scanning alert - Function 'ipr::impl::decl_repipr::impl::Fundecl::definition' should be marked with 'override' (c....

Tracking issue for: - [ ] https://github.com/GabrielDosReis/ipr/security/code-scanning/232

Fix code scanning alert - Function 'ipr::impl::decl_repipr::impl::Typedecl::definition' should be marked with 'override' (c...

Tracking issue for: - [ ] https://github.com/GabrielDosReis/ipr/security/code-scanning/519

Fix code scanning alert - Function 'ipr::impl::decl_repipr::impl::Var::definition' should be marked with 'override' (c.128).

Tracking issue for: - [ ] https://github.com/GabrielDosReis/ipr/security/code-scanning/530

Fix code scanning alert - Function 'ipr::impl::decl_repipr::impl::Template::definition' should be marked with 'override' (c...

Tracking issue for: - [ ] https://github.com/GabrielDosReis/ipr/security/code-scanning/102

Fix code scanning alert - Function 'ipr::Lambda::type' should specify exactly one of 'virtual', 'override', or 'final' (c.1...

Tracking issue for: - [ ] https://github.com/GabrielDosReis/ipr/security/code-scanning/4400

Don't throw exception of built-in types

1 comment

During the review of #30 , @menuet correctly observed there is existing code that violated Core Guidelines [E.14](https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#Re-exception-types). That should have been caught before it was checked in. Upon further...