Go to the source code of this file.
Enumerator |
---|
PT_ASSERT_MAY_POINT |
ask if exists PT-relation between two operands among all functions
|
PT_ASSERT_MAY_NOT_POINT |
|
PT_ASSERT_MAY_BE_POINTED |
ask if concrete variable may be pointed among all functions
|
PT_ASSERT_MAY_NOT_BE_POINTED |
|
PT_ASSERT_MAY_POINT_LOCAL |
ask if exists PT-relation between two operands in concrete function
|
PT_ASSERT_MAY_NOT_POINT_LOCAL |
|
PT_ASSERT_EXISTS_LOCAL |
ask whether the variable name exists in concrete function
|
PT_ASSERT_EXISTS_LOCAL_NOT |
|
PT_ASSERT_BUILD_FAIL |
setup flag that we expect the particular PT-build will fail
|
Definition at line 23 of file pointsto_assert.hh.