alignment:pg_comp_crc32c_sse42
alignment:array_cmp
alignment:array_iter_setup
alignment:array_out
alignment:array_unnest
alignment:array_eq
alignment:AllocSetCheck
nonnull-attribute:TransactionIdSetPageStatus
nonnull-attribute:SerializeTransactionState
nonnull-attribute:initscan
nonnull-attribute:SetTransactionSnapshot
nonnull-attribute:shm_mq_receive
#care, gcc cannot parse the path, only the filename
nonnull-attribute:*/src/fe_utils/print.c
nonnull-attribute:print_aligned_text
#PG13.3-copyfuncs.c:2374:2: runtime error: null pointer passed as argument 2, which is declared to never be null
nonnull-attribute:_copyAppendRelInfo
#PG13.3-copyfuncs.c:1190:2: runtime error: null pointer passed as argument 2, which is declared to never be null
nonnull-attribute:_copyLimit
nonnull-attribute:*/src/backend/nodes/copyfuncs.c
#PG12.7-relcache.c:5960:6: runtime error: null pointer passed as argument 1, which is declared to never be null
#in write_item postgresql-12.6/src/backend/utils/cache/relcache.c:5960
#looks like a real postgresql bug
nonnull-attribute:write_item
#division by 0, looks like a real postgres ug
float-divide-by-zero:_bt_vacuum_needs_cleanup
