name_mangler.h File Reference

Mangle names of file-local functions to make them unique. More...

#include <util/message.h>
#include <util/rename_symbol.h>
#include "goto_model.h"
#include <regex>
#include <vector>

Include dependency graph for name_mangler.h:

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

Go to the source code of this file.

Classes
class	function_name_manglert< MangleFun >
	Mangles the names in an entire program and its symbol table. More...
class	file_name_manglert
	Mangle identifiers by including their filename. More...
class	djb_manglert
	Mangle identifiers by hashing their working directory with djb2 hash. More...

Macros
#define	FILE_LOCAL_PREFIX   CPROVER_PREFIX "file_local_"

Detailed Description

Mangle names of file-local functions to make them unique.

Author

Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file name_mangler.h.

Macro Definition Documentation

FILE_LOCAL_PREFIX

#define FILE_LOCAL_PREFIX   CPROVER_PREFIX "file_local_"

Definition at line 16 of file name_mangler.h.