QA-C gives side-effects warning. Unknown why

[Borked Pseudo Mailed]

Did you bother to comment out *everything* in get_value(),
as opposed to only the logging function, to see whether
QA-C is in fact analysing the function itself? There are
multiple side-effects in that function, since multiple
objects get modified. Giving the function an empty body
would seem to be the most straightforward way of
determining whether QA-C is analysing the function or
simply making guesses on the || operator. In fact, this
idea strikes me as so fucking obvious that I get a sense
of unease I may be completely and utterly wrong.

Yours,
Han from China

 

[Harry Ebbers]

Did you bother to comment out *everything* in get_value(),
as opposed to only the logging function, to see whether
QA-C is in fact analysing the function itself? There are
multiple side-effects in that function, since multiple
objects get modified. Giving the function an empty body
would seem to be the most straightforward way of
determining whether QA-C is analysing the function or
simply making guesses on the || operator. In fact, this
idea strikes me as so fucking obvious that I get a sense
of unease I may be completely and utterly wrong.

Yours,
Han from China

Tried it just now and it gave the same result. But after the
explanation I've read here I'm not surprised: QA-C sees that a
function is being called and assumes that it might have side-effects.
It does not analyse the function.

 

[CBFalconer]

Tried it just now and it gave the same result. But after the
explanation I've read here I'm not surprised: QA-C sees that a
function is being called and assumes that it might have
side-effects. It does not analyse the function.

--
+-------------------+ .:\:\:/:/:.
| PLEASE DO NOT F :.:\:\:/:/:.:
| FEED THE TROLLS | :=.' - - '.=:
| | '=(\ 9 9 /)='
| Thank you, | ( (_) )
| Management | /`-vvv-'\
+-------------------+ / \
| | @@@ / /|,,,,,|\ \
| | @@@ /_// /^\ \\_\
@x@@x@ | | |/ WW( ( ) )WW
\||||/ | | \| __\,,\ /,,/__
\||/ | | | jgs (______Y______)
/\/\/\/\/\/\/\/\//\/\\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
==============================================================

fix (vb.): 1. to paper over, obscure, hide from public view; 2.
to work around, in a way that produces unintended consequences
that are worse than the original problem. Usage: "Windows ME
fixes many of the shortcomings of Windows 98 SE". - Hutchinson