Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

fixes for a number of ZAM optimization bugs

Browse source
This commit is contained in:
Vern Paxson 2023-11-05 16:26:38 -08:00 • committed by Arne Welzel
parent 9bfe18473d
commit 1dc74eaa9c
11 changed files with 44 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/script_opt/ZAM/Support.cc
View file

@ -77,8 +77,8 @@ void ZAM_run_time_error(const char* msg) {
ZAM_error = true;
}
void ZAM_run_time_error(const Location* loc, const char* msg) {
reporter->RuntimeError(loc, "%s", msg);
void ZAM_run_time_error(std::shared_ptr<Location> loc, const char* msg) {
reporter->RuntimeError(loc.get(), "%s", msg);
ZAM_error = true;
}
@ -87,12 +87,12 @@ void ZAM_run_time_error(const char* msg, const Obj* o) {
ZAM_error = true;
}
void ZAM_run_time_error(const Location* loc, const char* msg, const Obj* o) {
reporter->RuntimeError(loc, "%s (%s)", msg, obj_desc(o).c_str());
void ZAM_run_time_error(std::shared_ptr<Location> loc, const char* msg, const Obj* o) {
reporter->RuntimeError(loc.get(), "%s (%s)", msg, obj_desc(o).c_str());
ZAM_error = true;
}
void ZAM_run_time_warning(const Location* loc, const char* msg) {
void ZAM_run_time_warning(std::shared_ptr<Location> loc, const char* msg) {
ODesc d;
loc->Describe(&d);