CodeProver does not detect overflow for non-volatile global variables
1 vue (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Benjamin Colle
le 3 Jan 2018
Commenté : Benjamin Colle
le 5 Jan 2018
Hello,
In an attempt to check the following ticket https://ch.mathworks.com/matlabcentral/answers/374199-codeprover-does-not-detect-overflow-underflow-with-unsigned-variables, I have noticed that CodeProver does not detect potential overflow when manipulating global variables which are not volatile. If I add the volatile keyword, CodeProver does raise a warning.
int8_t a, b, c;
volatile int8_t d, e, f;
void test (void){
a = b-c; // No warning
d = e-f; // Warning raised
}
I have tried also by making some computation on these variables somewhere else in the code, but the result is the same.
Is this a confirmed behavior on your side?
0 commentaires
Réponse acceptée
Alexandre De Barros
le 4 Jan 2018
Hello,
I cannot reproduce your results: I have overflows for both volatile and non-volatile variables.
Are b and c full-range in your results ?
Alex
2 commentaires
Plus de réponses (0)
Voir également
Catégories
En savoir plus sur Multitasking dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!