[cfe-dev] New test failures...
Steve Naroff
snaroff at apple.com
Fri Jan 25 15:26:05 PST 2008
Thanks!
snaroff
On Jan 25, 2008, at 3:23 PM, Ted Kremenek wrote:
> This is my fault. I thought I had run make test before this
> commit. I've reverted r4636 (a change to CFG.cpp), and the failures
> go away. I'm investigating.
>
> On Jan 25, 2008, at 2:17 PM, Steve Naroff wrote:
>
>> Are other folks seeing the test failures below?
>>
>> snaroff
>>
>> ******************** TEST 'Analysis/conditional-op-missing-lhs.c'
>> FAILED! ********************
>> Command:
>> clang -warn-dead-stores -warn-uninit-values -verify Analysis/
>> conditional-op-missing-lhs.c
>> Output:
>> 0 clang 0x0022e655
>> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45
>> 1 clang 0x0022e9fb
>> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323
>> 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43
>> 3 ??? 0xffffffff 0x0 + 4294967295
>> 4 clang 0x000e63f9
>> _ZN5clang14BinaryOperator7classofEPKNS_4StmtE + 17
>> 5 clang 0x000c96b9
>> _ZN4llvm8isa_implIN5clang14BinaryOperatorENS1_4StmtEEEbRKT0_ + 17
>> 6 clang 0x00077935
>> _ZN4llvm13isa_impl_wrapIN5clang14BinaryOperatorEKNS1_4StmtES4_E4doitERS4_
>> + 17
>> 7 clang 0x000c96d1
>> _ZN4llvm11isa_impl_clIN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbRKS2_
>> + 17
>> 8 clang 0x0007794d
>> _ZN4llvm11isa_impl_clIPN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbS3_
>> + 17
>> 9 clang 0x000c96eb
>> _ZN4llvm3isaIN5clang14BinaryOperatorEPNS1_4StmtEEEbRKT0_ + 19
>> 10 clang 0x000c976d
>> _ZN4llvm8dyn_castIN5clang14BinaryOperatorEPNS1_4StmtEEENS_10cast_rettyIT_T0_E8ret_typeES7_
>> + 17
>> 11 clang 0x000c059b
>> _ZN36_GLOBAL__N_CFG
>> .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE
>> + 525
>> 12 clang 0x000c06a7
>> _ZN36_GLOBAL__N_CFG
>> .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE
>> + 793
>> 13 clang 0x000c08f7
>> _ZN5clang3CFG14getNumBlkExprsEv + 45
>> 14 clang 0x0007535a
>> _ZNK5clang23ExprDeclBitVector_Types14AnalysisDataTy11getNumExprsEv
>> + 20
>> 15 clang 0x0007dae8
>> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
>> + 44
>> 16 clang 0x0007db56
>> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
>> + 154
>> 17 clang 0x0007db70
>> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
>> + 180
>> 18 clang 0x0007dbae
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC2ERS1_
>> + 60
>> 19 clang 0x0007dbc8
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC1ERS1_
>> + 24
>> 20 clang 0x0007cdc0
>> _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb
>> + 80
>> 21 clang 0x0000424d
>> _ZN45_GLOBAL__N_ASTConsumers
>> .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45
>> 22 clang 0x00003145
>> _ZN45_GLOBAL__N_ASTConsumers
>> .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE
>> + 195
>> 23 clang 0x00086af0
>> _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244
>> 24 clang 0x0000951d
>> _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE +
>> 33
>> 25 clang 0x00023166
>> _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816
>> 26 clang 0x0002529d main + 1315
>> 27 clang 0x000018be start + 54
>> Output/Analysis/conditional-op-missing-lhs.c.out.script: line 1:
>> 71591
>> Bus error clang -warn-dead-stores -warn-uninit-values -
>> verify Analysis/conditional-op-missing-lhs.c
>> ******************** TEST 'Analysis/conditional-op-missing-lhs.c'
>> FAILED! ********************
>> Analysis/dead-stores.c
>> Analysis/uninit-vals.c
>> ******************** TEST 'Analysis/uninit-vals.c' FAILED!
>> ********************
>> Command:
>> clang -warn-uninit-values -verify Analysis/uninit-vals.c
>> Output:
>> Assertion failed: (AD.isTracked(E)), function BlockStmt_VisitExpr,
>> file UninitializedValues.cpp, line 204.
>> 0 clang 0x0022e655
>> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45
>> 1 clang 0x0022e9fb
>> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323
>> 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43
>> 3 ??? 0xffffffff 0x0 + 4294967295
>> 4 libSystem.B.dylib 0x91776782 raise + 26
>> 5 libSystem.B.dylib 0x91785d3f abort + 73
>> 6 libSystem.B.dylib 0x91777923 __assert_rtn + 101
>> 7 clang 0x0007c89a
>> _ZN5clang30UninitializedValues_ValueTypes10ObserverTyD0Ev + 996
>> 8 clang 0x000810b7
>> _ZN5clang14CFGStmtVisitorIN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsEbE15BlockStmt_VisitEPNS_4StmtE
>> +
>> 335
>> 9 clang 0x0008114f
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE11ProcessStmtEPKNS_4StmtEbNS_8dataflow20forward_analysis_tagE
>> + 103
>> 10 clang 0x000811ad
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE12ProcessBlockEPKNS_8CFGBlockEb
>> + 87
>> 11 clang 0x00081240
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE22SolveDataflowEquationsERNS_3CFGEb
>> + 108
>> 12 clang 0x00082786
>> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
>> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE8runOnCFGERNS_3CFGEb
>> + 58
>> 13 clang 0x0007cddd
>> _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb
>> + 109
>> 14 clang 0x0000424d
>> _ZN45_GLOBAL__N_ASTConsumers
>> .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45
>> 15 clang 0x00003145
>> _ZN45_GLOBAL__N_ASTConsumers
>> .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE
>> + 195
>> 16 clang 0x00086af0
>> _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244
>> 17 clang 0x0000951d
>> _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE +
>> 33
>> 18 clang 0x00023166
>> _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816
>> 19 clang 0x0002529d main + 1315
>> 20 clang 0x000018be start + 54
>> Output/Analysis/uninit-vals.c.out.script: line 1: 71615 Abort
>> trap clang -warn-uninit-values -verify Analysis/uninit-
>> vals.c
>> ******************** TEST 'Analysis/uninit-vals.c' FAILED!
>> ********************
>>
>> _______________________________________________
>> 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