Possible NULL dereference in mlir/Dialect/EmitC/IR

[apach301]

Hi,

I found possible null pointer dereference with Svace static analyzer.

A lvalueType pointer is checked on NULL and then dereferenced while error printing in GetGlobalOp::verifySymbolUses() at mlir/lib/Dialect/EmitC/IR/EmitC.cpp:

llvm-project/mlir/lib/Dialect/EmitC/IR/EmitC.cpp

Lines 1323 to 1326 in b5a1747

	if (!lvalueType || lvalueType.getValueType() != globalType)
	return emitOpError("on non-array type expects result inner type ")
	<< lvalueType.getValueType() << " to match type " << globalType
	<< " of the global @" << getName();

[llvmbot]

@llvm/issue-subscribers-mlir

Author: Daniel Kuts (apach301)

Hi,

I found possible null pointer dereference with Svace static analyzer.

A lvalueType pointer is checked on NULL and then dereferenced while error printing in GetGlobalOp::verifySymbolUses() at mlir/lib/Dialect/EmitC/IR/EmitC.cpp:

llvm-project/mlir/lib/Dialect/EmitC/IR/EmitC.cpp

Lines 1323 to 1326 in b5a1747

	if (!lvalueType || lvalueType.getValueType() != globalType)
	return emitOpError("on non-array type expects result inner type ")
	<< lvalueType.getValueType() << " to match type " << globalType
	<< " of the global @" << getName();