[cfe-dev] new warnings

Ted Kremenek kremenek at apple.com
Fri Sep 26 16:47:18 PDT 2008


I haven't fixed those yet because I just plan on rewriting some of  
that code entirely.

On Sep 26, 2008, at 4:45 PM, Mike Stump wrote:

> Since I had such good luck with the last set, here are a few more:
>
> GRExprEngine.cpp: In member function 'void
> clang::GRExprEngine::VisitBinaryOperator(clang::BinaryOperator*,
> clang::ExplodedNode<clang::GRState>*,
> clang::ExplodedNodeSet<clang::GRState>&)':
> GRExprEngine.cpp:2069: warning: dereferencing type-punned pointer will
> break strict-aliasing rules
> GRExprEngine.cpp:2071: warning: dereferencing type-punned pointer will
> break strict-aliasing rules
> RValues.cpp: In member function 'const clang::SymbolID*
> clang::RVal::symbol_begin() const':
> RValues.cpp:33: warning: dereferencing type-punned pointer will break
> strict-aliasing rules
> RValues.cpp:35: warning: dereferencing type-punned pointer will break
> strict-aliasing rules
>
> :-)  With these, I think we are back down to 0 warnings.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev




More information about the cfe-dev mailing list