Field-insensitive, location-sensitive bitvector analysis. More...

#include <util/expanding_vector.h>
#include <util/numbering.h>
#include "locals.h"
#include "dirty.h"
#include "local_cfg.h"

Include dependency graph for local_bitvector_analysis.h:

This graph shows which files directly or indirectly include this file:

Classes
class	local_bitvector_analysist

struct	local_bitvector_analysist::flagst

Functions
std::ostream &	operator<< (std::ostream &out, const local_bitvector_analysist::flagst &flags)

Detailed Description

Field-insensitive, location-sensitive bitvector analysis.

Function Documentation

std::ostream& operator<<	(	std::ostream &	out,
		const local_bitvector_analysist::flagst &	flags
	)

inline