MCPcopy Create free account
hub / github.com/csmith-project/csmith / sanity_check

Method sanity_check

src/CVQualifiers.cpp:570–577  ·  view source on GitHub ↗

* check if the indirect depth of type matches qualifier size */

Source from the content-addressed store, hash-verified

568 * check if the indirect depth of type matches qualifier size
569 */
570bool
571CVQualifiers::sanity_check(const Type* t) const
572{
573 assert(t);
574 int level = t->get_indirect_level();
575 assert(level >= 0);
576 return wildcard || (is_consts.size() == is_volatiles.size() && (static_cast<size_t>(level)+1) == is_consts.size());
577}
578
579void
580CVQualifiers::output_qualified_type(const Type* t, std::ostream &out) const

Callers

nothing calls this directly

Calls 2

sizeMethod · 0.80
get_indirect_levelMethod · 0.45

Tested by

no test coverage detected