slicing crashes when there is no entry point to the function

ID0000184: This issue was created automatically from Mantis Issue 184. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000184	Frama-C	Plug-in > slicing	public	2009-07-14	2014-02-12

Reporter	lukaszc	Assigned To	Anne	Resolution	fixed
Priority	normal	Severity	crash	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090601-beta1	Target Version	-	Fixed in Version	Frama-C Beryllium-20090901

Description :

frama-c -slice-pragma x file.c

file.c -----

int x(int y, int z) { /*@ slice pragma expr y == 1; */ //@ assert y == 1; //@ assert y + z == 3; return y; }

int main() { return 0; }

int z1() { return x(2,2); }