* Value Range Analysis of source code variables
@ 2022-05-30 14:08 Theodoros Theodoridis
0 siblings, 0 replies; only message in thread
From: Theodoros Theodoridis @ 2022-05-30 14:08 UTC (permalink / raw)
To: gcc-help
Hello,
is there a way to query the value range analysis results for source-code
level variables?
For example, given the following piece of code:
|static int a = 0; int main(){ int b = 42; if (b > 0){ a = 2; } b = 1;
return 0; } |
Is there a way to “ask” gcc what the value ranges (or sets) of |a| and
|b| are?
The result would be, assuming gcc can figure this out, |a = {0,2}| and
|b = {1, 42}| or |a in [0,2]| and |b in [1,42]|.
Thanks,
Theo
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-05-30 14:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-30 14:08 Value Range Analysis of source code variables Theodoros Theodoridis
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).