Boost logo

Boost Users :

From: Okko Willeboordse (trash_at_[hidden])
Date: 2005-08-12 02:58:07

When I lint my code, using boost 1-32, using PC-Lint I get some issues on the Boost code.
I use 'PC-lint for C/C++ (NT) Vers. 8.00r, Copyright Gimpel Software 1985-2005' so the
new patch that should deal with Boost better.

These are the issues;
    BOOST_STATIC_CONSTANT(bool, value = helper::value);
C:\Boost\include\boost-1_32\boost\type_traits\is_enum.hpp(143): error 1061: (Error -- public member 'boost::mpl::bool_<<1>>::value' is not accessible through non-public inheritance)
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_apply, apply, false)
C:\Boost\include\boost-1_32\boost\mpl\aux_\has_apply.hpp(22): error 64: (Error -- Type mismatch (arg. no. 1) (volatile const boost::mpl::aux::has_apply_wrapper_<T> * = boost::mpl::aux::has_apply_wrapper_<T> *))
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_tag, tag, false)
C:\Boost\include\boost-1_32\boost\mpl\aux_\has_tag.hpp(20): error 64: (Error -- Type mismatch (arg. no. 1) (volatile const boost::mpl::aux::has_tag_wrapper_<T> * = boost::mpl::aux::has_tag_wrapper_<T> *))

Are these Boost or PC-Lint issues?


These are descriptions of the issues;

1061 String member 'Symbol' is not accessible through
      non-public inheritance -- There is an attempt to access a
      private, protected or public member (the text of the
      message indicates which kind as well as which member) of a
      class through a class derived from the original. There is
      an access violation (see 1060 for the more common access
      violation) critically dependent on the fact that the
      inheritance relationship is non-public. [11 section

64 Type mismatch (Context) (TypeDiff) -- There was a
      mismatch in types across an assignment (or implied
      assignment, see Context). TypeDiff specifies the type
      difference. See options -epn, -eps, -epu, -epp (Section
      5.2 Error Inhibition Options) to suppress this message
      when assigning some kinds of pointers.

Boost-users list run by williamkempf at, kalb at, bjorn.karlsson at, gregod at, wekempf at