File pointer.cpp

ir/pointer.cpp:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	// Copyright (c) 2018-present The Alive2 Authors.
2	// Distributed under the MIT license that can be found in the LICENSE file.
3
4	#include "ir/pointer.h"

nothing calls this directly

isLogicalMethod · 0.80

isNullMethod · 0.80

isFalseMethod · 0.80

getPhysicalAddressMethod · 0.80

isLocalMethod · 0.80

getShortBidMethod · 0.80

getOffsetMethod · 0.80

getAttrsMethod · 0.80

isTrueMethod · 0.45

isConstMethod · 0.45

isZeroMethod · 0.45

no test coverage detected