/* { dg-do compile { target x86_64-*-* } } */ | |
/* { dg-additional-options "-fanalyzer-call-summaries --param analyzer-min-snodes-for-call-summary=0" } */ | |
#include "analyzer-decls.h" | |
int returns_asm_value (void) | |
{ | |
int dst; | |
asm ("mov 42, %0" | |
: "=r" (dst)); | |
return dst; | |
} | |
void test_returns_asm_value (void) | |
{ | |
int a, b; | |
a = returns_asm_value (); | |
b = returns_asm_value (); | |
__analyzer_eval (a == b); /* { dg-warning "TRUE" } */ | |
} |