449606 - dehydra mac: process_type gets template declarations

Status: RESOLVED FIXED

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Benjamin Smedberg]

Running dehydra on mozilla-central on mac:

../../../src/xpcom/glue/nsTArray.cpp:277: error: Error processing type: #1={kind:"class", name:"nsAutoTArray<E, 0u>", bases:[{kind:"class", name:"nsTArray<E>", isIncomplete:true, loc:{file:"../../../src/xpcom/glue/nsTArray.h", line:257}}], members:[{name:"nsAutoTArray<E, 0u>::nsAutoTArray()", memberOf:#1#, isFunction:true, isConstructor:true, type:{type:{name:"void"}, parameters:[]}, loc:{file:"../../../src/xpcom/glue/nsTArray.h", line:793}}], size_of:1, loc:{file:"../../../src/xpcom/glue/nsTArray.h", line:791}}
Error: Can't get final property for incomplete type.

It appears we're getting the process_type callback for partially instantiated type, which is incorrect, it should only be called for fully instantiated types.

dmandelin fixed this in bug 418170 for gcc4.3, but apparently isn't sufficient for gcc 4.2.

Comment 1

[Vlad Sukhoy]

The patch from bug 451932 fixes this: I was able to reproduce the error without that patch and once I applied it the static-checking build with dehydra completed successfully.