diff options
author | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-03 00:55:06 +0800 |
---|---|---|
committer | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-03 01:34:38 +0800 |
commit | 35c5b7de256f09bcfb77c6dc700ea1a54b1ec27c (patch) | |
tree | 573b39d8f9e45f611e7ba315e16b3cf47bfd4a81 /libsolidity/analysis/ControlFlowAnalyzer.cpp | |
parent | 009a55c82d22f08fd207739d7b8aeff215fb7c03 (diff) | |
download | dexon-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/ControlFlowAnalyzer.cpp')
-rw-r--r-- | libsolidity/analysis/ControlFlowAnalyzer.cpp | 10 |
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." ); } } |