From e56d349c905fbd448d651591e7e73ade71ff9e6f Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 12 Mar 2011 06:15:01 +0000 Subject: [PATCH] Remove stray output file. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127532 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/idempotent-operations.plist | 7075 --------------------- 1 file changed, 7075 deletions(-) delete mode 100644 test/Analysis/idempotent-operations.plist diff --git a/test/Analysis/idempotent-operations.plist b/test/Analysis/idempotent-operations.plist deleted file mode 100644 index 033fca3eb5..0000000000 --- a/test/Analysis/idempotent-operations.plist +++ /dev/null @@ -1,7075 +0,0 @@ - - - - - files - - idempotent-operations.c - - diagnostics - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindevent - location - - line10 - col7 - file0 - - ranges - - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - extended_message - Variable 'x' initialized to 10 - message -Variable 'x' initialized to 10 - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line13 - col3 - file0 - - - line13 - col3 - file0 - - - - - - - kindevent - location - - line13 - col3 - file0 - - ranges - - - - line13 - col3 - file0 - - - line13 - col3 - file0 - - - - - line13 - col7 - file0 - - - line13 - col7 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line13 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindevent - location - - line10 - col7 - file0 - - ranges - - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - extended_message - Variable 'x' initialized to 10 - message -Variable 'x' initialized to 10 - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line14 - col3 - file0 - - - line14 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line14 - col3 - file0 - - - line14 - col3 - file0 - - - end - - - line14 - col8 - file0 - - - line14 - col8 - file0 - - - - - - - kindevent - location - - line14 - col8 - file0 - - ranges - - - - line14 - col8 - file0 - - - line14 - col8 - file0 - - - - - line14 - col12 - file0 - - - line14 - col12 - file0 - - - - extended_message - Both operands to '-' always have the same value - message -Both operands to '-' always have the same value - - - descriptionBoth operands to '-' always have the same value - categoryDead code - typeIdempotent operation - location - - line14 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindevent - location - - line10 - col7 - file0 - - ranges - - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - extended_message - Variable 'x' initialized to 10 - message -Variable 'x' initialized to 10 - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line15 - col3 - file0 - - - line15 - col8 - file0 - - - - - - - kindevent - location - - line15 - col3 - file0 - - ranges - - - - line15 - col3 - file0 - - - line15 - col3 - file0 - - - - - line15 - col8 - file0 - - - line15 - col8 - file0 - - - - extended_message - Both operands to '-=' always have the same value - message -Both operands to '-=' always have the same value - - - descriptionBoth operands to '-=' always have the same value - categoryDead code - typeIdempotent operation - location - - line15 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line16 - col3 - file0 - - - line16 - col3 - file0 - - - - - - - kindevent - location - - line16 - col3 - file0 - - ranges - - - - line16 - col3 - file0 - - - line16 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line16 - col3 - file0 - - - line16 - col3 - file0 - - - end - - - line17 - col3 - file0 - - - line17 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line17 - col3 - file0 - - - line17 - col3 - file0 - - - end - - - line17 - col8 - file0 - - - line17 - col8 - file0 - - - - - - - kindevent - location - - line17 - col8 - file0 - - ranges - - - - line17 - col8 - file0 - - - line17 - col8 - file0 - - - - - line17 - col12 - file0 - - - line17 - col12 - file0 - - - - extended_message - Both operands to '/' always have the same value - message -Both operands to '/' always have the same value - - - descriptionBoth operands to '/' always have the same value - categoryDead code - typeIdempotent operation - location - - line17 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line16 - col3 - file0 - - - line16 - col3 - file0 - - - - - - - kindevent - location - - line16 - col3 - file0 - - ranges - - - - line16 - col3 - file0 - - - line16 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line16 - col3 - file0 - - - line16 - col3 - file0 - - - end - - - line18 - col3 - file0 - - - line18 - col8 - file0 - - - - - - - kindevent - location - - line18 - col3 - file0 - - ranges - - - - line18 - col3 - file0 - - - line18 - col3 - file0 - - - - - line18 - col8 - file0 - - - line18 - col8 - file0 - - - - extended_message - Both operands to '/=' always have the same value - message -Both operands to '/=' always have the same value - - - descriptionBoth operands to '/=' always have the same value - categoryDead code - typeIdempotent operation - location - - line18 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - - - - - kindevent - location - - line19 - col3 - file0 - - ranges - - - - line19 - col3 - file0 - - - line19 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - end - - - line20 - col3 - file0 - - - line20 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line20 - col3 - file0 - - - line20 - col3 - file0 - - - end - - - line20 - col8 - file0 - - - line20 - col8 - file0 - - - - - - - kindevent - location - - line20 - col8 - file0 - - ranges - - - - line20 - col8 - file0 - - - line20 - col8 - file0 - - - - - line20 - col12 - file0 - - - line20 - col12 - file0 - - - - extended_message - Both operands to '&' always have the same value - message -Both operands to '&' always have the same value - - - descriptionBoth operands to '&' always have the same value - categoryDead code - typeIdempotent operation - location - - line20 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - - - - - kindevent - location - - line19 - col3 - file0 - - ranges - - - - line19 - col3 - file0 - - - line19 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - end - - - line21 - col3 - file0 - - - line21 - col8 - file0 - - - - - - - kindevent - location - - line21 - col3 - file0 - - ranges - - - - line21 - col3 - file0 - - - line21 - col3 - file0 - - - - - line21 - col8 - file0 - - - line21 - col8 - file0 - - - - extended_message - Both operands to '&=' always have the same value - message -Both operands to '&=' always have the same value - - - descriptionBoth operands to '&=' always have the same value - categoryDead code - typeIdempotent operation - location - - line21 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - - - - - kindevent - location - - line19 - col3 - file0 - - ranges - - - - line19 - col3 - file0 - - - line19 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - end - - - line22 - col3 - file0 - - - line22 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line22 - col3 - file0 - - - line22 - col3 - file0 - - - end - - - line22 - col8 - file0 - - - line22 - col8 - file0 - - - - - - - kindevent - location - - line22 - col8 - file0 - - ranges - - - - line22 - col8 - file0 - - - line22 - col8 - file0 - - - - - line22 - col12 - file0 - - - line22 - col12 - file0 - - - - extended_message - Both operands to '|' always have the same value - message -Both operands to '|' always have the same value - - - descriptionBoth operands to '|' always have the same value - categoryDead code - typeIdempotent operation - location - - line22 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - - - - - kindevent - location - - line19 - col3 - file0 - - ranges - - - - line19 - col3 - file0 - - - line19 - col8 - file0 - - - - extended_message - The value 10 is assigned to 'x' - message -The value 10 is assigned to 'x' - - - kindcontrol - edges - - - start - - - line19 - col3 - file0 - - - line19 - col3 - file0 - - - end - - - line23 - col3 - file0 - - - line23 - col8 - file0 - - - - - - - kindevent - location - - line23 - col3 - file0 - - ranges - - - - line23 - col3 - file0 - - - line23 - col3 - file0 - - - - - line23 - col8 - file0 - - - line23 - col8 - file0 - - - - extended_message - Both operands to '|=' always have the same value - message -Both operands to '|=' always have the same value - - - descriptionBoth operands to '|=' always have the same value - categoryDead code - typeIdempotent operation - location - - line23 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - - - - kindevent - location - - line10 - col25 - file0 - - ranges - - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - extended_message - Variable 'one' initialized to 1 - message -Variable 'one' initialized to 1 - - - kindcontrol - edges - - - start - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - end - - - line26 - col3 - file0 - - - line26 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line26 - col3 - file0 - - - line26 - col3 - file0 - - - end - - - line26 - col8 - file0 - - - line26 - col8 - file0 - - - - - - - kindevent - location - - line26 - col8 - file0 - - ranges - - - - line26 - col12 - file0 - - - line26 - col14 - file0 - - - - extended_message - The right operand to '*' is always 1 - message -The right operand to '*' is always 1 - - - descriptionThe right operand to '*' is always 1 - categoryDead code - typeIdempotent operation - location - - line26 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - - - - kindevent - location - - line10 - col25 - file0 - - ranges - - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - extended_message - Variable 'one' initialized to 1 - message -Variable 'one' initialized to 1 - - - kindcontrol - edges - - - start - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - end - - - line27 - col3 - file0 - - - line27 - col10 - file0 - - - - - - - kindevent - location - - line27 - col3 - file0 - - ranges - - - - line27 - col8 - file0 - - - line27 - col10 - file0 - - - - extended_message - The right operand to '*=' is always 1 - message -The right operand to '*=' is always 1 - - - descriptionThe right operand to '*=' is always 1 - categoryDead code - typeIdempotent operation - location - - line27 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - - - - kindevent - location - - line10 - col25 - file0 - - ranges - - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - extended_message - Variable 'one' initialized to 1 - message -Variable 'one' initialized to 1 - - - kindcontrol - edges - - - start - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - end - - - line28 - col3 - file0 - - - line28 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line28 - col3 - file0 - - - line28 - col3 - file0 - - - end - - - line28 - col8 - file0 - - - line28 - col8 - file0 - - - - - - - kindevent - location - - line28 - col8 - file0 - - ranges - - - - line28 - col12 - file0 - - - line28 - col14 - file0 - - - - extended_message - The right operand to '/' is always 1 - message -The right operand to '/' is always 1 - - - descriptionThe right operand to '/' is always 1 - categoryDead code - typeIdempotent operation - location - - line28 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - - - - kindevent - location - - line10 - col25 - file0 - - ranges - - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - extended_message - Variable 'one' initialized to 1 - message -Variable 'one' initialized to 1 - - - kindcontrol - edges - - - start - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - end - - - line29 - col3 - file0 - - - line29 - col10 - file0 - - - - - - - kindevent - location - - line29 - col3 - file0 - - ranges - - - - line29 - col8 - file0 - - - line29 - col10 - file0 - - - - extended_message - The right operand to '/=' is always 1 - message -The right operand to '/=' is always 1 - - - descriptionThe right operand to '/=' is always 1 - categoryDead code - typeIdempotent operation - location - - line29 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - - - - kindevent - location - - line10 - col25 - file0 - - ranges - - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - - extended_message - Variable 'one' initialized to 1 - message -Variable 'one' initialized to 1 - - - kindcontrol - edges - - - start - - - line10 - col25 - file0 - - - line10 - col27 - file0 - - - end - - - line32 - col3 - file0 - - - line32 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line32 - col3 - file0 - - - line32 - col3 - file0 - - - end - - - line32 - col8 - file0 - - - line32 - col8 - file0 - - - - - - - kindevent - location - - line32 - col8 - file0 - - ranges - - - - line32 - col8 - file0 - - - line32 - col10 - file0 - - - - extended_message - The left operand to '*' is always 1 - message -The left operand to '*' is always 1 - - - descriptionThe left operand to '*' is always 1 - categoryDead code - typeIdempotent operation - location - - line32 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line35 - col3 - file0 - - - line35 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line35 - col3 - file0 - - - line35 - col3 - file0 - - - end - - - line35 - col8 - file0 - - - line35 - col8 - file0 - - - - - - - kindevent - location - - line35 - col8 - file0 - - ranges - - - - line35 - col12 - file0 - - - line35 - col15 - file0 - - - - extended_message - The right operand to '+' is always 0 - message -The right operand to '+' is always 0 - - - descriptionThe right operand to '+' is always 0 - categoryDead code - typeIdempotent operation - location - - line35 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line36 - col3 - file0 - - - line36 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line36 - col3 - file0 - - - line36 - col3 - file0 - - - end - - - line36 - col8 - file0 - - - line36 - col8 - file0 - - - - - - - kindevent - location - - line36 - col8 - file0 - - ranges - - - - line36 - col12 - file0 - - - line36 - col15 - file0 - - - - extended_message - The right operand to '-' is always 0 - message -The right operand to '-' is always 0 - - - descriptionThe right operand to '-' is always 0 - categoryDead code - typeIdempotent operation - location - - line36 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line37 - col3 - file0 - - - line37 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line37 - col3 - file0 - - - line37 - col3 - file0 - - - end - - - line37 - col8 - file0 - - - line37 - col8 - file0 - - - - - - - kindevent - location - - line37 - col8 - file0 - - ranges - - - - line37 - col12 - file0 - - - line37 - col15 - file0 - - - - extended_message - The right operand to '*' is always 0 - message -The right operand to '*' is always 0 - - - descriptionThe right operand to '*' is always 0 - categoryDead code - typeIdempotent operation - location - - line37 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line38 - col3 - file0 - - - line38 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line38 - col3 - file0 - - - line38 - col3 - file0 - - - end - - - line38 - col8 - file0 - - - line38 - col8 - file0 - - - - - - - kindevent - location - - line38 - col8 - file0 - - ranges - - - - line38 - col12 - file0 - - - line38 - col15 - file0 - - - - extended_message - The right operand to '&' is always 0 - message -The right operand to '&' is always 0 - - - descriptionThe right operand to '&' is always 0 - categoryDead code - typeIdempotent operation - location - - line38 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line39 - col3 - file0 - - - line39 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line39 - col3 - file0 - - - line39 - col3 - file0 - - - end - - - line39 - col8 - file0 - - - line39 - col8 - file0 - - - - - - - kindevent - location - - line39 - col8 - file0 - - ranges - - - - line39 - col12 - file0 - - - line39 - col15 - file0 - - - - extended_message - The right operand to '|' is always 0 - message -The right operand to '|' is always 0 - - - descriptionThe right operand to '|' is always 0 - categoryDead code - typeIdempotent operation - location - - line39 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line40 - col3 - file0 - - - line40 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line40 - col3 - file0 - - - line40 - col3 - file0 - - - end - - - line40 - col8 - file0 - - - line40 - col8 - file0 - - - - - - - kindevent - location - - line40 - col8 - file0 - - ranges - - - - line40 - col12 - file0 - - - line40 - col15 - file0 - - - - extended_message - The right operand to '^' is always 0 - message -The right operand to '^' is always 0 - - - descriptionThe right operand to '^' is always 0 - categoryDead code - typeIdempotent operation - location - - line40 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line41 - col3 - file0 - - - line41 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line41 - col3 - file0 - - - line41 - col3 - file0 - - - end - - - line41 - col8 - file0 - - - line41 - col8 - file0 - - - - - - - kindevent - location - - line41 - col8 - file0 - - ranges - - - - line41 - col13 - file0 - - - line41 - col16 - file0 - - - - extended_message - The right operand to '<<' is always 0 - message -The right operand to '<<' is always 0 - - - descriptionThe right operand to '<<' is always 0 - categoryDead code - typeIdempotent operation - location - - line41 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line42 - col3 - file0 - - - line42 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line42 - col3 - file0 - - - line42 - col3 - file0 - - - end - - - line42 - col8 - file0 - - - line42 - col8 - file0 - - - - - - - kindevent - location - - line42 - col8 - file0 - - ranges - - - - line42 - col13 - file0 - - - line42 - col16 - file0 - - - - extended_message - The right operand to '>>' is always 0 - message -The right operand to '>>' is always 0 - - - descriptionThe right operand to '>>' is always 0 - categoryDead code - typeIdempotent operation - location - - line42 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line45 - col3 - file0 - - - line45 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line45 - col3 - file0 - - - line45 - col3 - file0 - - - end - - - line45 - col8 - file0 - - - line45 - col8 - file0 - - - - - - - kindevent - location - - line45 - col8 - file0 - - ranges - - - - line45 - col8 - file0 - - - line45 - col11 - file0 - - - - extended_message - The left operand to '+' is always 0 - message -The left operand to '+' is always 0 - - - descriptionThe left operand to '+' is always 0 - categoryDead code - typeIdempotent operation - location - - line45 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line46 - col3 - file0 - - - line46 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line46 - col3 - file0 - - - line46 - col3 - file0 - - - end - - - line46 - col8 - file0 - - - line46 - col8 - file0 - - - - - - - kindevent - location - - line46 - col8 - file0 - - ranges - - - - line46 - col8 - file0 - - - line46 - col11 - file0 - - - - extended_message - The left operand to '-' is always 0 - message -The left operand to '-' is always 0 - - - descriptionThe left operand to '-' is always 0 - categoryDead code - typeIdempotent operation - location - - line46 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line47 - col3 - file0 - - - line47 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line47 - col3 - file0 - - - line47 - col3 - file0 - - - end - - - line47 - col8 - file0 - - - line47 - col8 - file0 - - - - - - - kindevent - location - - line47 - col8 - file0 - - ranges - - - - line47 - col8 - file0 - - - line47 - col11 - file0 - - - - extended_message - The left operand to '/' is always 0 - message -The left operand to '/' is always 0 - - - descriptionThe left operand to '/' is always 0 - categoryDead code - typeIdempotent operation - location - - line47 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line48 - col3 - file0 - - - line48 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line48 - col3 - file0 - - - line48 - col3 - file0 - - - end - - - line48 - col8 - file0 - - - line48 - col8 - file0 - - - - - - - kindevent - location - - line48 - col8 - file0 - - ranges - - - - line48 - col8 - file0 - - - line48 - col11 - file0 - - - - extended_message - The left operand to '*' is always 0 - message -The left operand to '*' is always 0 - - - descriptionThe left operand to '*' is always 0 - categoryDead code - typeIdempotent operation - location - - line48 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line49 - col3 - file0 - - - line49 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line49 - col3 - file0 - - - line49 - col3 - file0 - - - end - - - line49 - col8 - file0 - - - line49 - col8 - file0 - - - - - - - kindevent - location - - line49 - col8 - file0 - - ranges - - - - line49 - col8 - file0 - - - line49 - col11 - file0 - - - - extended_message - The left operand to '&' is always 0 - message -The left operand to '&' is always 0 - - - descriptionThe left operand to '&' is always 0 - categoryDead code - typeIdempotent operation - location - - line49 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line50 - col3 - file0 - - - line50 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line50 - col3 - file0 - - - line50 - col3 - file0 - - - end - - - line50 - col8 - file0 - - - line50 - col8 - file0 - - - - - - - kindevent - location - - line50 - col8 - file0 - - ranges - - - - line50 - col8 - file0 - - - line50 - col11 - file0 - - - - extended_message - The left operand to '|' is always 0 - message -The left operand to '|' is always 0 - - - descriptionThe left operand to '|' is always 0 - categoryDead code - typeIdempotent operation - location - - line50 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line51 - col3 - file0 - - - line51 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line51 - col3 - file0 - - - line51 - col3 - file0 - - - end - - - line51 - col8 - file0 - - - line51 - col8 - file0 - - - - - - - kindevent - location - - line51 - col8 - file0 - - ranges - - - - line51 - col8 - file0 - - - line51 - col11 - file0 - - - - extended_message - The left operand to '^' is always 0 - message -The left operand to '^' is always 0 - - - descriptionThe left operand to '^' is always 0 - categoryDead code - typeIdempotent operation - location - - line51 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line52 - col3 - file0 - - - line52 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line52 - col3 - file0 - - - line52 - col3 - file0 - - - end - - - line52 - col8 - file0 - - - line52 - col8 - file0 - - - - - - - kindevent - location - - line52 - col8 - file0 - - ranges - - - - line52 - col8 - file0 - - - line52 - col11 - file0 - - - - extended_message - The left operand to '<<' is always 0 - message -The left operand to '<<' is always 0 - - - descriptionThe left operand to '<<' is always 0 - categoryDead code - typeIdempotent operation - location - - line52 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line10 - col3 - file0 - - - line10 - col5 - file0 - - - end - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line10 - col7 - file0 - - - line10 - col7 - file0 - - - end - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - - - - kindevent - location - - line10 - col15 - file0 - - ranges - - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - - extended_message - Variable 'zero' initialized to 0 - message -Variable 'zero' initialized to 0 - - - kindcontrol - edges - - - start - - - line10 - col15 - file0 - - - line10 - col18 - file0 - - - end - - - line53 - col3 - file0 - - - line53 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line53 - col3 - file0 - - - line53 - col3 - file0 - - - end - - - line53 - col8 - file0 - - - line53 - col8 - file0 - - - - - - - kindevent - location - - line53 - col8 - file0 - - ranges - - - - line53 - col8 - file0 - - - line53 - col11 - file0 - - - - extended_message - The left operand to '>>' is always 0 - message -The left operand to '>>' is always 0 - - - descriptionThe left operand to '>>' is always 0 - categoryDead code - typeIdempotent operation - location - - line53 - col8 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line70 - col3 - file0 - - - line70 - col5 - file0 - - - end - - - line70 - col7 - file0 - - - line70 - col7 - file0 - - - - - - - kindcontrol - edges - - - start - - - line70 - col7 - file0 - - - line70 - col7 - file0 - - - end - - - line70 - col19 - file0 - - - line70 - col24 - file0 - - - - - - - kindevent - location - - line70 - col19 - file0 - - ranges - - - - line70 - col19 - file0 - - - line70 - col24 - file0 - - - - extended_message - Variable 'result' initialized to 4 - message -Variable 'result' initialized to 4 - - - kindcontrol - edges - - - start - - - line70 - col19 - file0 - - - line70 - col24 - file0 - - - end - - - line71 - col3 - file0 - - - line71 - col3 - file0 - - - - - - - kindevent - location - - line71 - col3 - file0 - - ranges - - - - line71 - col3 - file0 - - - line71 - col8 - file0 - - - - - line71 - col12 - file0 - - - line71 - col17 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line71 - col3 - file0 - - - - path - - - kindevent - location - - line87 - col10 - file0 - - ranges - - - - line87 - col14 - file0 - - - line87 - col14 - file0 - - - - extended_message - Value stored to 'p' during its initialization is never read - message -Value stored to 'p' during its initialization is never read - - - descriptionValue stored to 'p' during its initialization is never read - categoryDead store - typeDead initialization - location - - line87 - col10 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line85 - col3 - file0 - - - line85 - col3 - file0 - - - end - - - line90 - col3 - file0 - - - line90 - col3 - file0 - - - - - - - kindcontrol - edges - - - start - - - line90 - col3 - file0 - - - line90 - col3 - file0 - - - end - - - line90 - col9 - file0 - - - line90 - col9 - file0 - - - - - - - kindevent - location - - line90 - col9 - file0 - - ranges - - - - line90 - col9 - file0 - - - line90 - col9 - file0 - - - - - line90 - col13 - file0 - - - line90 - col21 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line90 - col9 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line111 - col3 - file0 - - - line111 - col3 - file0 - - - end - - - line114 - col3 - file0 - - - line114 - col3 - file0 - - - - - - - kindevent - location - - line114 - col3 - file0 - - ranges - - - - line114 - col3 - file0 - - - line114 - col8 - file0 - - - - - line114 - col12 - file0 - - - line114 - col17 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line114 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line111 - col3 - file0 - - - line111 - col3 - file0 - - - end - - - line116 - col3 - file0 - - - line116 - col19 - file0 - - - - - - - kindevent - location - - line116 - col3 - file0 - - ranges - - - - line116 - col3 - file0 - - - line116 - col19 - file0 - - - - extended_message - Variable 'nonparam' initialized to 5 - message -Variable 'nonparam' initialized to 5 - - - kindcontrol - edges - - - start - - - line116 - col3 - file0 - - - line116 - col19 - file0 - - - end - - - line118 - col3 - file0 - - - line118 - col3 - file0 - - - - - - - kindevent - location - - line118 - col3 - file0 - - ranges - - - - line118 - col3 - file0 - - - line118 - col10 - file0 - - - - - line118 - col14 - file0 - - - line118 - col21 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line118 - col3 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line146 - col5 - file0 - - - line146 - col5 - file0 - - - end - - - line149 - col5 - file0 - - - line149 - col9 - file0 - - - - - - - kindevent - location - - line149 - col5 - file0 - - ranges - - - - line149 - col5 - file0 - - - line149 - col9 - file0 - - - - extended_message - Variable 'd' initialized to 0 - message -Variable 'd' initialized to 0 - - - kindcontrol - edges - - - start - - - line149 - col5 - file0 - - - line149 - col9 - file0 - - - end - - - line150 - col5 - file0 - - - line150 - col5 - file0 - - - - - - - kindcontrol - edges - - - start - - - line150 - col5 - file0 - - - line150 - col5 - file0 - - - end - - - line150 - col10 - file0 - - - line150 - col10 - file0 - - - - - - - kindevent - location - - line150 - col10 - file0 - - ranges - - - - line150 - col14 - file0 - - - line150 - col14 - file0 - - - - extended_message - The right operand to '*' is always 0 - message -The right operand to '*' is always 0 - - - descriptionThe right operand to '*' is always 0 - categoryDead code - typeIdempotent operation - location - - line150 - col10 - file0 - - - - path - - - kindcontrol - edges - - - start - - - line179 - col3 - file0 - - - line179 - col3 - file0 - - - end - - - line182 - col3 - file0 - - - line182 - col7 - file0 - - - - - - - kindevent - location - - line182 - col3 - file0 - - ranges - - - - line182 - col3 - file0 - - - line182 - col7 - file0 - - - - extended_message - Variable 'a' initialized to 55 - message -Variable 'a' initialized to 55 - - - kindcontrol - edges - - - start - - - line182 - col3 - file0 - - - line182 - col7 - file0 - - - end - - - line183 - col3 - file0 - - - line183 - col3 - file0 - - - - - - - kindevent - location - - line183 - col3 - file0 - - ranges - - - - line183 - col3 - file0 - - - line183 - col3 - file0 - - - - - line183 - col7 - file0 - - - line183 - col7 - file0 - - - - extended_message - Assigned value is always the same as the existing value - message -Assigned value is always the same as the existing value - - - descriptionAssigned value is always the same as the existing value - categoryDead code - typeIdempotent operation - location - - line183 - col3 - file0 - - - - - \ No newline at end of file -- 2.40.0