Giter Club home page Giter Club logo

pc-lint-bug-template-defined-but-not-instantiated's Introduction

PC-Lint bug with diagnostic 1795: Defined template ’Symbol’ was not instantiated

This repo demonstrates a bug in PC-Lint with tracking instantiated template member functions.

Base::function_overloaded_in_derived and Derived::function_overloaded_in_derived are class member template functions, instantiated by calls in main(). PC-Lint does not recognize these instantiations. It erroneously issues diagnostic 1795 for both cases.

PC-lint for C/C++ (NT) Vers. 9.00j, Copyright Gimpel Software 1985-2012

--- Module:   main.cpp (C++)

--- Global Wrap-up

main.cpp(35): error 1795: (Info -- Template 'Base::function_overloaded_in_derived(const struct A &, <1>) const' (line 35, file main.cpp) was defined but not instantiated)
main.cpp(44): error 1795: (Info -- Template 'Derived::function_overloaded_in_derived(const struct B &, <1>) const' (line 44, file main.cpp) was defined but not instantiated)
error 900: (Note -- Successful completion, 2 messages produced)

pc-lint-bug-template-defined-but-not-instantiated's People

Contributors

joshuanapoli avatar

Watchers

 avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.