public inbox for
 help / color / mirror / Atom feed
* 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


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]|.


^ 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).