rename get_single_value_from_range() => get_single_value_from_dinfo()

[smatch.git] / validation / label-asm.c

#define barrier() __asm__ __volatile__("": : :"memory")

static void f(void)
{
        barrier();
l:
        barrier();
}
/*
 * check-name: Label followed by __asm__
 * check-description: Sparse used to parse the __asm__ as modifying the label.
 */