MessagePack reader: mark the initial accepted in the scalar run as a false-positive dead store
ci_infer reports DEAD_STORE for 'bool accepted = true;' in the MessagePack scalar run, as in the CBOR one, because every case assigns accepted before it is read. Signed-off-by: Niels Lohmann <mail@nlohmann.me>
This commit is contained in:
2 files changed
+4
No files matched your search
@@ -2657,6 +2657,8 @@ class binary_reader
|
|||||||
const auto* const data = reinterpret_cast<const unsigned char*>(ia.bulk_data());
|
const auto* const data = reinterpret_cast<const unsigned char*>(ia.bulk_data());
|
||||||
const unsigned char head = data[0];
|
const unsigned char head = data[0];
|
||||||
std::size_t size = 0;
|
std::size_t size = 0;
|
||||||
|
// false positive: every case assigns accepted before it is read
|
||||||
|
// @infer-ignore DEAD_STORE
|
||||||
bool accepted = true;
|
bool accepted = true;
|
||||||
switch (head)
|
switch (head)
|
||||||
{
|
{
|
||||||
|
|||||||
Generated
+2
@@ -20434,6 +20434,8 @@ class binary_reader
|
|||||||
const auto* const data = reinterpret_cast<const unsigned char*>(ia.bulk_data());
|
const auto* const data = reinterpret_cast<const unsigned char*>(ia.bulk_data());
|
||||||
const unsigned char head = data[0];
|
const unsigned char head = data[0];
|
||||||
std::size_t size = 0;
|
std::size_t size = 0;
|
||||||
|
// false positive: every case assigns accepted before it is read
|
||||||
|
// @infer-ignore DEAD_STORE
|
||||||
bool accepted = true;
|
bool accepted = true;
|
||||||
switch (head)
|
switch (head)
|
||||||
{
|
{
|
||||||
|
|||||||
Reference in new issue
Block a user