| [2d8a937] | 1 | array_of_ptr.c
|
|---|
| 2 | [ERR]
|
|---|
| 3 | Error: This feature is not yet implemented:
|
|---|
| 4 | Ability to determine whether a non-concrete pointer is defined.
|
|---|
| 5 | arrayparam.c
|
|---|
| 6 | [ERR]
|
|---|
| 7 | Error: Undeclared identifier foo
|
|---|
| 8 | * Need to add the function declaration for 'foo',
|
|---|
| 9 | and change the type of arguments
|
|---|
| 10 | c_fft.c
|
|---|
| 11 | [ERR]
|
|---|
| 12 | Error: Undeclared identifier atoi
|
|---|
| 13 | c_fft6.c
|
|---|
| 14 | [ERR]
|
|---|
| 15 | Exception in thread "main" java.lang.NullPointerException
|
|---|
| 16 | at edu.udel.cis.vsl.abc.analysis.entity.
|
|---|
| 17 | ExpressionAnalyzer.processExpression(ExpressionAnalyzer.java:210)
|
|---|
| 18 | c_jacobi01.c
|
|---|
| 19 | c_jacobi02.c
|
|---|
| 20 | [NO]
|
|---|
| 21 | CIVL execution violation in p0 (kind: MEMORY_LEAK, certainty: PROVEABLE)
|
|---|
| 22 | c_jacobi03.c
|
|---|
| 23 | [ERR]
|
|---|
| 24 | Exception in thread "main" java.lang.NullPointerException
|
|---|
| 25 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 26 | OpenMP2CIVLWorker.replaceOMPPragmas(OpenMP2CIVLWorker.java:2373)
|
|---|
| 27 | c_lu.c
|
|---|
| 28 | c_mandel.c
|
|---|
| 29 | [ERR]
|
|---|
| 30 | Exception in thread "main" java.lang.NullPointerException
|
|---|
| 31 | at edu.udel.cis.vsl.abc.analysis.entity.
|
|---|
| 32 | ExpressionAnalyzer.processExpression(ExpressionAnalyzer.java:210)
|
|---|
| 33 | c_md.c
|
|---|
| 34 | [ERR]
|
|---|
| 35 | Exception in thread "main" java.lang.NullPointerException
|
|---|
| 36 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 37 | BaseWorker.typeNode(BaseWorker.java:873)
|
|---|
| 38 | c_pi.c
|
|---|
| 39 | [ERR]
|
|---|
| 40 | CIVL execution violation in p0 (kind: UNDEFINED_VALUE, certainty: PROVEABLE)
|
|---|
| 41 | at c_pi.c:65.12 "N":
|
|---|
| 42 | * The definition of 'N' is commented out.
|
|---|
| 43 | c_qsort.c
|
|---|
| 44 | [ERR]
|
|---|
| 45 | Error: Undeclared identifier srandom
|
|---|
| 46 | defect_num_544.c
|
|---|
| 47 | [ERR]
|
|---|
| 48 | Ticket# 544, 752
|
|---|
| 49 | dijkstra_openmp.c
|
|---|
| 50 | [ERR]
|
|---|
| 51 | Error: Type referenced by pointer on left-hand side of assignment
|
|---|
| 52 | is incompatible with corresponding type on right-hand side
|
|---|
| 53 | at OpenMPTransformer "_omp_read13" inserted by OpenMPTransformer.identifier _omp_read13
|
|---|
| 54 | before civlc.cvh:31.22-27 "$scope" included from civl-stdio.cvh:3
|
|---|
| 55 | dotProduct_orphan.c
|
|---|
| 56 | [ERR]
|
|---|
| 57 | Exception in thread "main" java.util.EmptyStackException
|
|---|
| 58 | at java.util.Stack.peek(Stack.java:102)
|
|---|
| 59 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 60 | OpenMPSimplifierWorker.collectAssignRefExprs(OpenMPSimplifierWorker.java:1031)
|
|---|
| 61 | fft_openmp.c
|
|---|
| 62 | [ERR]
|
|---|
| 63 | Violation 0 encountered at depth 120:
|
|---|
| 64 | CIVL execution violation in p0 (kind: ASSERTION_VIOLATION, certainty: MAYBE)
|
|---|
| 65 | fig3.10-mxv-omp.c
|
|---|
| 66 | fig310-mxv-omp.c
|
|---|
| 67 | [ERR]
|
|---|
| 68 | Syntax error: Function perror doesn't have a definition.
|
|---|
| 69 | fig4.98-threadprivate.c
|
|---|
| 70 | [ERR]
|
|---|
| 71 | Error: Undeclared identifier _omp_tid
|
|---|
| 72 | helmholtz.c
|
|---|
| 73 | Not finished in 109 sec
|
|---|
| 74 | jan_example.c
|
|---|
| 75 | Exception in thread "main" java.lang.StackOverflowError
|
|---|
| 76 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 77 | OpenMPSimplifierWorker.indexExpressionDepth(OpenMPSimplifierWorker.java:1483)
|
|---|
| 78 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 79 | OpenMPSimplifierWorker.indexExpression(OpenMPSimplifierWorker.java:1466)
|
|---|
| 80 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 81 | OpenMPSimplifierWorker.isSubArrayIndependent(OpenMPSimplifierWorker.java:1290)
|
|---|
| 82 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 83 | OpenMPSimplifierWorker.isSubArrayIndependent(OpenMPSimplifierWorker.java:1302)
|
|---|
| 84 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 85 | OpenMPSimplifierWorker.isSubArrayIndependent
|
|---|
| 86 | (OpenMPSimplifierWorker.java:1302)
|
|---|
| 87 | ..
|
|---|
| 88 | mandelbrot_openmp.c
|
|---|
| 89 | CIVL execution violation in p2 (kind: ASSERTION_VIOLATION, certainty: MAYBE)
|
|---|
| 90 | at civl-omp.cvl:238.2-239.25 "$assert(otherTid < 0, ... )":
|
|---|
| 91 | matProduct1_orphan.c
|
|---|
| 92 | Exception in thread "main" java.util.EmptyStackException
|
|---|
| 93 | at java.util.Stack.peek(Stack.java:102)
|
|---|
| 94 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 95 | OpenMPSimplifierWorker.collectAssignRefExprs
|
|---|
| 96 | (OpenMPSimplifierWorker.java:1031)
|
|---|
| 97 | parallel.c
|
|---|
| 98 | Comment out the inclusion of <civlc.h>
|
|---|
| 99 | pi_orphan.c
|
|---|
| 100 | Exception in thread "main" java.util.EmptyStackException
|
|---|
| 101 | at java.util.
|
|---|
| 102 | Stack.peek(Stack.java:102)
|
|---|
| 103 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 104 | OpenMPSimplifierWorker.collectAssignRefExprs
|
|---|
| 105 | (OpenMPSimplifierWorker.java:1031)
|
|---|
| 106 | pi1.c
|
|---|
| 107 | Syntax issue
|
|---|
| 108 | poisson_openmp.c
|
|---|
| 109 | Violation 0 encountered at depth 627:
|
|---|
| 110 | CIVL execution violation in p0
|
|---|
| 111 | (kind: ASSERTION_VIOLATION, certainty: MAYBE)
|
|---|
| 112 | at math.cvl:904.2-56 "$assert(x >= 0, ... )":
|
|---|
| 113 | Assertion: (0.0<=x)
|
|---|
| 114 | -> 0<=(97...
|
|---|
| 115 | raceCond2.c
|
|---|
| 116 | not finished in 77s
|
|---|
| 117 | region1.c
|
|---|
| 118 | Exception in thread "main" java.lang.NullPointerException
|
|---|
| 119 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 120 | OpenMP2CIVLWorker.replaceOMPPragmas(OpenMP2CIVLWorker.java:2738)
|
|---|
| 121 | at edu.udel.cis.vsl.civl.transform.common.
|
|---|
| 122 | OpenMP2CIVLWorker.replaceOMPPragmas(OpenMP2CIVLWorker.java:2957)
|
|---|
| 123 | region2.c
|
|---|
| 124 | Violation 0 encountered at depth 115:
|
|---|
| 125 | CIVL execution violation in p1
|
|---|
| 126 | (kind: UNDEFINED_VALUE, certainty: PROVEABLE)
|
|---|
| 127 | at OpenMPTransformer "_omp_read0"
|
|---|
| 128 | inserted by OpenMPTransformer.identifier _omp_read0
|
|---|
| 129 | before civlc.cvh:31.22-27 "$scope" included from assert.h:7:
|
|---|
| 130 | attempt to read uninitialized variable _omp_read0
|
|---|
| 131 | simple_omp_share.c
|
|---|
| 132 | Race Condition.
|
|---|
| 133 | threadPrivate.c
|
|---|
| 134 | Exception in thread "main" java.lang.ClassCastException:
|
|---|
| 135 | edu.udel.cis.vsl.abc.ast.node.common.expression.CommonOperatorNode
|
|---|
| 136 | cannot be cast to
|
|---|
| 137 | edu.udel.cis.vsl.abc.ast.node.IF.declaration.VariableDeclarationNode
|
|---|
| 138 | at edu.udel.cis.vsl.abc.analysis.entity.
|
|---|
| 139 | TypeAnalyzer.processFunctionType(TypeAnalyzer.java:371)
|
|---|
| 140 | at edu.udel.cis.vsl.abc.analysis.entity.
|
|---|
| 141 | TypeAnalyzer.processTypeNode(TypeAnalyzer.java:724)
|
|---|
| 142 | ziggurat_openmp.c
|
|---|
| 143 | not finished in 108s
|
|---|
| 144 |
|
|---|
| 145 | Find examples from LLNL paper.
|
|---|
| 146 | |
|---|
