jlm::llvm::FreeNullTest Class Reference

RVSDG module with a call to free(NULL). More...

#include <TestRvsdgs.hpp>

Inheritance diagram for jlm::llvm::FreeNullTest:

Collaboration diagram for jlm::llvm::FreeNullTest:

Public Member Functions
rvsdg::LambdaNode &	LambdaMain () const noexcept
Public Member Functions inherited from jlm::llvm::RvsdgTest
virtual	~RvsdgTest ()=default
jlm::llvm::LlvmRvsdgModule &	module ()
const rvsdg::Graph &	graph ()
void	InitializeTest ()

Private Member Functions
std::unique_ptr< llvm::LlvmRvsdgModule >	SetupRvsdg () override
	Create RVSDG for this test. More...

Private Attributes
rvsdg::LambdaNode *	LambdaMain_ {}

Detailed Description

RVSDG module with a call to free(NULL).

The class sets up an RVSDG module corresponding to the code:

int
main()
{
  int* x = NULL;
  free(x);
  return 0;
}

Definition at line 2398 of file TestRvsdgs.hpp.

Member Function Documentation

LambdaMain()

rvsdg::LambdaNode& jlm::llvm::FreeNullTest::LambdaMain ( ) const

inlinenoexcept

Definition at line 2402 of file TestRvsdgs.hpp.

SetupRvsdg()

std::unique_ptr< llvm::LlvmRvsdgModule > jlm::llvm::FreeNullTest::SetupRvsdg ( )

overrideprivatevirtual

Create RVSDG for this test.

Implements jlm::llvm::RvsdgTest.

Definition at line 3802 of file TestRvsdgs.cpp.

Member Data Documentation

LambdaMain_

rvsdg::LambdaNode* jlm::llvm::FreeNullTest::LambdaMain_ {}

private

Definition at line 2411 of file TestRvsdgs.hpp.

---

The documentation for this class was generated from the following files:

• jlm/llvm/TestRvsdgs.hpp
• jlm/llvm/TestRvsdgs.cpp