430660 - elsa: can't include <map> with gcc 4.3

Status: RESOLVED WONTFIX

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Benjamin Smedberg]

Using gcc 4.3 (haven't tested gcc 4.2, this is not a problem with gcc 4.1.2)

testcase is

#include <map>

Preprocessed and then run through `ccparse -tr permissive` this fails with

Assertion failed: value.hasValue(), file mtype.cc line 1556
Failure probably related to code near /builds/gcc-mcpp/installed/include/c++/4.3.0/bits/stl_tree.h:424:29

Which is the following code:

_Rb_tree_impl<_Compare> _M_impl;

And the declaration of _Rb_tree_impl is:

template<typename _Key_compare,
         bool _Is_pod_comparataor = __is_pod(_Key_compare)>
  struct _Rb_tree_impl : public _Node_allocator
  { ... }

So this is very likely caused by the __is_pod builtin being used as a default template value.

This is not urgent: I'm just going to downgrade my pork tree to use gcc 4.1.x which doesn't have the problem.

Comment 1

[Joshua Cranmer [:jcranmer]]

At this time, Mozilla is no longer pursuing the use of Elsa and Pork for static analysis and rewriting. Therefore, there are no longer any intentions to fix or support any outstanding bugs in these tools.