aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis
diff options
context:
space:
mode:
authorDaniel Kirchner <daniel@ekpyron.org>2018-08-03 00:55:06 +0800
committerDaniel Kirchner <daniel@ekpyron.org>2018-08-03 01:34:38 +0800
commit35c5b7de256f09bcfb77c6dc700ea1a54b1ec27c (patch)
tree573b39d8f9e45f611e7ba315e16b3cf47bfd4a81 /libsolidity/analysis
parent009a55c82d22f08fd207739d7b8aeff215fb7c03 (diff)
downloaddexon-solidity-35c5b7de256f09bcfb77c6dc700ea1a54b1ec27c.tar.gz
dexon-solidity-35c5b7de256f09bcfb77c6dc700ea1a54b1ec27c.tar.zst
dexon-solidity-35c5b7de256f09bcfb77c6dc700ea1a54b1ec27c.zip
Turn warning about uninitialized storage returns into an error.
Diffstat (limited to 'libsolidity/analysis')
-rw-r--r--libsolidity/analysis/ControlFlowAnalyzer.cpp10
1 files changed, 5 insertions, 5 deletions
diff --git a/libsolidity/analysis/ControlFlowAnalyzer.cpp b/libsolidity/analysis/ControlFlowAnalyzer.cpp
index 6edf7986..483d08c8 100644
--- a/libsolidity/analysis/ControlFlowAnalyzer.cpp
+++ b/libsolidity/analysis/ControlFlowAnalyzer.cpp
@@ -144,12 +144,12 @@ void ControlFlowAnalyzer::checkUnassignedStorageReturnValues(
ssl.append("Problematic end of function:", _function.location());
}
- m_errorReporter.warning(
+ m_errorReporter.typeError(
returnVal->location(),
- "This variable is of storage pointer type and might be returned without assignment. "
- "This can cause storage corruption. Assign the variable (potentially from itself) "
- "to remove this warning.",
- ssl
+ ssl,
+ "This variable is of storage pointer type and might be returned without assignment and "
+ "could be used uninitialized. Assign the variable (potentially from itself) "
+ "to fix this error."
);
}
}