Skip to content

Commit

Permalink
CN: simpler test of pointer eqs
Browse files Browse the repository at this point in the history
This simpler test shows how alloc-ids change the behaviour of CN.
The assertion that pointer->integer->pointer conversion leaves a
pointer unchanged is now false, and was previously provable. A
more interesting question is, should this assertion be provable?
  • Loading branch information
talsewell committed Sep 6, 2023
1 parent f69a12c commit daaffc4
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions tests/cn/test_pointer_eq.c
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@


void f (int *p)
{
/*@ assert (p == ((pointer) ((integer) p))); @*/
}

0 comments on commit daaffc4

Please sign in to comment.