add nullptr check

Addresses #647.
phillipstanleymarbell · Mar 19, 2023 · 489862c · 489862c
1 parent 4e753a1
commit 489862c
Show file tree

Hide file tree

Showing 2 changed files with 53 additions and 1 deletion.
diff --git a/analysis/statistics/115ed4a44fa24f539bb5352d534fe124de58aaec.txt b/analysis/statistics/115ed4a44fa24f539bb5352d534fe124de58aaec.txt
@@ -0,0 +1,46 @@
+
+changeset: 1460:115ed4a44fa24f539bb5352d534fe124de58aaec
+char kNewtonVersion[] = "0.3-alpha-1460 (115ed4a44fa24f539bb5352d534fe124de58aaec) (build 03-19-2023-16:[email protected]_64)";
+\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
+\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
+
+Informational Report:
+---------------------
+Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
+
+	Kernel 0 is a valid kernel:
+
+		   1   1
+		-0.5  -0
+		   1   0
+		 0.5   0
+		   0  -1
+		  -0  -1
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 0, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^( 0)  P5^(-0)  
+
+			Pi group 0, Pi 1 is:	P0^(-0)  P1^( 1)  P2^( 0)  P3^( 0)  P4^(-1)  P5^(-1)  
+
+
+	Kernel 1 is a valid kernel:
+
+		   1   0
+		-0.5   1
+		   1  -2
+		 0.5  -1
+		  -0  -2
+		   0  -2
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 1, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^(-0)  P5^( 0)  
+
+			Pi group 1, Pi 1 is:	P0^( 1)  P1^( 0)  P2^(-1)  P3^(-2)  P4^(-2)  P5^(-2)  
+
+
+
+
diff --git a/src/newton/newton-irPass-LLVMIR-rangeAnalysis.cpp b/src/newton/newton-irPass-LLVMIR-rangeAnalysis.cpp
@@ -996,7 +996,13 @@ rangeAnalysis(State * N, llvm::Function & llvmIrFunction, BoundInfo * boundInfo,
 									 */
 									if (derivedVariableType->getTag() == llvm::dwarf::DW_TAG_pointer_type)
 									{
-										baseTypeName = derivedVariableType->getBaseType()->getName().str();
+                                        auto baseType = derivedVariableType->getBaseType();
+                                        /*
+                                         * the type is `void*`
+                                         * */
+                                        if (nullptr != baseType) {
+                                            baseTypeName = derivedVariableType->getBaseType()->getName().str();
+                                        }
 									}
 									else
 									{