Re: [Boost-users] PC-Lint issues

From: Okko Willeboordse (trash_at_[hidden])
Date: 2005-08-12 13:31:26

For boost 1-33 only the first issue exists;

    BOOST_STATIC_CONSTANT(bool, value = helper::value);
C:\libs\Boost\include\boost-1_33\boost\type_traits\is_enum.hpp(153): error 1061: (Error -- public member 'boost::mpl::integral_c<<1>,<2>>::value' is not accessible through non-public inheritance)

Okko

Okko Willeboordse wrote:
> 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?
> 
> Okko
> 
> 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
>       11.2]
> 
> 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.