/* Frama-C erzeugt eine komische Assertion über Zeigervergleiche für
 * diesen Code wenn man den value analyzer laufen lässt. Ist das ein
 * Programmfehler in Frama-C? */

#include <limits.h>
#include "/home/rcl/.opam/system/share/frama-c/builtin.h"

int main()
{
	const unsigned n = 10;
	int arr[n], val = 0;

	if (arr[0] == val)
		Frama_C_abort();

	return 0;
}