False positive related to prefix notation

[myint]

The prefix notation provides no benefit for primitive types. At the very least this false positive is noise. Worse, the advise is wrong in cases where changing it results in changing program behavior.

foo.cc:

int main()
{
    int x = 0;
    x++;
}

$ ./flint++ foo.cc
===============================================================================
File foo.cc:
Errors:   0
Warnings: 0
Advice:   1
===============================================================================

Line 4: Advice

Use prefix notation '++x'.

Postfix incrementers inject a copy operation, almost doubling the workload.

[JossWhittle]

Thanks for the feedback, I've bit the bullet and removed the incrementer advice check. As you said, there's just too many chances for false positives and Flint isn't setup to be able to analyse the situation fully enough.