procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

analyzer: handle volatile ops

Browse source 
gcc/analyzer/ChangeLog:
	* region-model.cc (region_model::get_gassign_result): Handle
	volatile ops by using a conjured_svalue.

gcc/testsuite/ChangeLog:
	* c-c++-common/analyzer/volatile-1.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
This commit is contained in:
David Malcolm 2023-09-15 13:47:42 -04:00
parent 1cbf18978a
commit 6319b5b2d4
2 changed files with 29 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
gcc/analyzer/region-model.cc
View file

@ -729,6 +729,17 @@ region_model::get_gassign_result (const gassign *assign,
region_model_context *ctxt)
{
tree lhs = gimple_assign_lhs (assign);
if (gimple_has_volatile_ops (assign)
&& !gimple_clobber_p (assign))
{
conjured_purge p (this, ctxt);
return m_mgr->get_or_create_conjured_svalue (TREE_TYPE (lhs),
assign,
get_lvalue (lhs, ctxt),
p);
}
tree rhs1 = gimple_assign_rhs1 (assign);
enum tree_code op = gimple_assign_rhs_code (assign);
switch (op)

18
gcc/testsuite/c-c++-common/analyzer/volatile-1.c Normal file
View file

@ -0,0 +1,18 @@
#include "../../gcc.dg/analyzer/analyzer-decls.h"
volatile int g;
void test_global (void)
{
int v1 = g;
int v2 = g;
__analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
}
void test_local (void)
{
volatile int x = 0;
int v1 = x;
int v2 = x;
__analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
}