pg.ddx.io  pgsql-hackers@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Tomas Vondra <tomas.vondra@2ndquadrant.com>
To: Nikita Glukhov <n.gluhov@postgrespro.ru>
To: obartunov@gmail.com
Cc: Andrew Dunstan <andrew.dunstan@2ndquadrant.com>
Cc: Pavel Stehule <pavel.stehule@gmail.com>
Cc: PostgreSQL-development <pgsql-hackers@postgresql.org>
Subject: Re: jsonpath
Date: Mon, 5 Mar 2018 22:29:13 +0100
Message-ID: <698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com> (raw)
In-Reply-To: <9a1ac993-7608-797c-2095-c735605da82f@postgrespro.ru>
References: <fcc6fc6a-b497-f39a-923d-aa34d0c588e8@2ndQuadrant.com>
	<CAFj8pRAhPnD=sPu-E=rwfcbgeZ8PLczYEzCsvgNYLtybSy9-=g@mail.gmail.com>
	<9f845926-0d7d-7c4d-75e3-b1e921a1677a@2ndQuadrant.com>
	<CAFj8pRBCvhgLCROfSCPGmwWZpSY+dKQN4O9xRe+1-wjBiXiHkA@mail.gmail.com>
	<bad98003-31ba-523e-d76c-3679efb2e732@2ndQuadrant.com>
	<CAFj8pRDWSCWd1JxA8srwbfL5cPgz2b5minq2UsM=cxgsFF-orw@mail.gmail.com>
	<48f13b75-0be7-c356-ff26-1db743add56e@postgrespro.ru>
	<7b4b8973-43f5-71c5-bf86-51cb5798dd88@2ndQuadrant.com>
	<f0b44fe7-d47a-eff2-592c-d9dbe4a63f75@2ndQuadrant.com>
	<5290ddd1-f23e-a53a-cae0-830dbde0a5fe@2ndQuadrant.com>
	<604ffe9c-b42e-7c42-e16b-aa44c3a12c3c@postgrespro.ru>
	<927f72f0-6832-a4ca-5676-b0ab5a2895d4@postgrespro.ru>
	<CAF4Au4wxHuEeZrMxxKXUYcs1kDws-f0oW0-sEyun388-U-NOxw@mail.gmail.com>
	<9a1ac993-7608-797c-2095-c735605da82f@postgrespro.ru>

Hi,

The patch no longer applies - it got broken by fd1a421fe66 which changed
columns in pg_proc. A rebase is needed.

Fixing it is pretty simle, so I've done that locally and tried to run
'make check' under valgrind. And I got a bunch of reports about
uninitialised values. Full report attached, but in general there seem to
be two types of failures:

  Conditional jump or move depends on uninitialised value(s)
     at 0x57BB47A: vfprintf (in /usr/lib64/libc-2.24.so)
     by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
     by 0xA926D3: pvsnprintf (psprintf.c:121)
     by 0x723E03: appendStringInfoVA (stringinfo.c:130)
     by 0x723D58: appendStringInfo (stringinfo.c:87)
     by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
     by 0x776F99: outNode (outfuncs.c:3978)
     by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
     by 0x777CB9: outNode (outfuncs.c:4398)
     by 0x76D507: _outJsonExpr (outfuncs.c:1752)
     by 0x777CA1: outNode (outfuncs.c:4395)
     by 0x767000: _outList (outfuncs.c:187)
     by 0x776874: outNode (outfuncs.c:3753)
     by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
     by 0x776D89: outNode (outfuncs.c:3912)
     by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
     by 0x777959: outNode (outfuncs.c:4290)
     by 0x767000: _outList (outfuncs.c:187)
     by 0x776874: outNode (outfuncs.c:3753)
     by 0x773713: _outQuery (outfuncs.c:3049)
   Uninitialised value was created by a stack allocation
     at 0x5B0C19: base_yyparse (gram.c:26287)

This happens when _outCoerceViaIO tries to output 'location' field
(that's line 1413), so I guess it's not set/copied somewhere.

The second failure looks like this:

  Conditional jump or move depends on uninitialised value(s)
     at 0x49E58B: ginFillScanEntry (ginscan.c:72)
     by 0x49EB56: ginFillScanKey (ginscan.c:221)
     by 0x49EF72: ginNewScanKey (ginscan.c:369)
     by 0x4A3875: gingetbitmap (ginget.c:1807)
     by 0x4F620B: index_getbitmap (indexam.c:727)
     by 0x6EE342: MultiExecBitmapIndexScan (nodeBitmapIndexscan.c:104)
     by 0x6DA8F8: MultiExecProcNode (execProcnode.c:506)
     by 0x6EC53D: BitmapHeapNext (nodeBitmapHeapscan.c:118)
     by 0x6DC26D: ExecScanFetch (execScan.c:95)
     by 0x6DC308: ExecScan (execScan.c:162)
     by 0x6ED7E5: ExecBitmapHeapScan (nodeBitmapHeapscan.c:730)
     by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
     by 0x6E5961: ExecProcNode (executor.h:239)
     by 0x6E5E25: fetch_input_tuple (nodeAgg.c:406)
     by 0x6E8091: agg_retrieve_direct (nodeAgg.c:1736)
     by 0x6E7C84: ExecAgg (nodeAgg.c:1551)
     by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
     by 0x6D1361: ExecProcNode (executor.h:239)
     by 0x6D3BB7: ExecutePlan (execMain.c:1721)
     by 0x6D1917: standard_ExecutorRun (execMain.c:361)
   Uninitialised value was created by a heap allocation
     at 0xA64FDC: palloc (mcxt.c:858)
     by 0x938636: gin_extract_jsonpath_query (jsonb_gin.c:630)
     by 0x938AB6: gin_extract_jsonb_query (jsonb_gin.c:746)
     by 0xA340C0: FunctionCall7Coll (fmgr.c:1201)
     by 0x49EE7F: ginNewScanKey (ginscan.c:313)
     by 0x4A3875: gingetbitmap (ginget.c:1807)
     by 0x4F620B: index_getbitmap (indexam.c:727)
     by 0x6EE342: MultiExecBitmapIndexScan (nodeBitmapIndexscan.c:104)
     by 0x6DA8F8: MultiExecProcNode (execProcnode.c:506)
     by 0x6EC53D: BitmapHeapNext (nodeBitmapHeapscan.c:118)
     by 0x6DC26D: ExecScanFetch (execScan.c:95)
     by 0x6DC308: ExecScan (execScan.c:162)
     by 0x6ED7E5: ExecBitmapHeapScan (nodeBitmapHeapscan.c:730)
     by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
     by 0x6E5961: ExecProcNode (executor.h:239)
     by 0x6E5E25: fetch_input_tuple (nodeAgg.c:406)
     by 0x6E8091: agg_retrieve_direct (nodeAgg.c:1736)
     by 0x6E7C84: ExecAgg (nodeAgg.c:1551)
     by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
     by 0x6D1361: ExecProcNode (executor.h:239)

So the extra_data allocated in gin_extract_jsonpath_query() get to
ginFillScanEntry() uninitialised.


Both seem like a valid issues, I think.

regards

-- 
Tomas Vondra                  http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

Attachments:

  [text/x-log] valgrind.log (23.6K, ../698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com/2-valgrind.log)
  download | inline:
==31228== Conditional jump or move depends on uninitialised value(s)
==31228==    at 0x57BB47A: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x773713: _outQuery (outfuncs.c:3049)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31228== Use of uninitialised value of size 8
==31228==    at 0x57B7D8B: _itoa_word (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57BC542: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Value8
   fun:_itoa_word
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
}
==31228== Conditional jump or move depends on uninitialised value(s)
==31228==    at 0x57B7D95: _itoa_word (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57BC542: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:_itoa_word
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
}
==31228== Conditional jump or move depends on uninitialised value(s)
==31228==    at 0x57BC659: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x773713: _outQuery (outfuncs.c:3049)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31228== Conditional jump or move depends on uninitialised value(s)
==31228==    at 0x57BB526: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x773713: _outQuery (outfuncs.c:3049)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31228== Conditional jump or move depends on uninitialised value(s)
==31228==    at 0x57BB5A9: vfprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31228==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31228==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31228==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31228==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31228==    by 0x776F99: outNode (outfuncs.c:3978)
==31228==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31228==    by 0x777CB9: outNode (outfuncs.c:4398)
==31228==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31228==    by 0x777CA1: outNode (outfuncs.c:4395)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31228==    by 0x776D89: outNode (outfuncs.c:3912)
==31228==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31228==    by 0x777959: outNode (outfuncs.c:4290)
==31228==    by 0x767000: _outList (outfuncs.c:187)
==31228==    by 0x776874: outNode (outfuncs.c:3753)
==31228==    by 0x773713: _outQuery (outfuncs.c:3049)
==31228==  Uninitialised value was created by a stack allocation
==31228==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31228== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31224== Conditional jump or move depends on uninitialised value(s)
==31224==    at 0x57BB47A: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x773713: _outQuery (outfuncs.c:3049)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31224== Use of uninitialised value of size 8
==31224==    at 0x57B7D8B: _itoa_word (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57BC542: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Value8
   fun:_itoa_word
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
}
==31224== Conditional jump or move depends on uninitialised value(s)
==31224==    at 0x57B7D95: _itoa_word (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57BC542: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:_itoa_word
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
}
==31224== Conditional jump or move depends on uninitialised value(s)
==31224==    at 0x57BC659: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x773713: _outQuery (outfuncs.c:3049)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31224== Conditional jump or move depends on uninitialised value(s)
==31224==    at 0x57BB526: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x773713: _outQuery (outfuncs.c:3049)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31224== Conditional jump or move depends on uninitialised value(s)
==31224==    at 0x57BB5A9: vfprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0x57E5478: vsnprintf (in /usr/lib64/libc-2.24.so)
==31224==    by 0xA926D3: pvsnprintf (psprintf.c:121)
==31224==    by 0x723E03: appendStringInfoVA (stringinfo.c:130)
==31224==    by 0x723D58: appendStringInfo (stringinfo.c:87)
==31224==    by 0x76BEFF: _outCoerceViaIO (outfuncs.c:1413)
==31224==    by 0x776F99: outNode (outfuncs.c:3978)
==31224==    by 0x76D7E7: _outJsonCoercion (outfuncs.c:1779)
==31224==    by 0x777CB9: outNode (outfuncs.c:4398)
==31224==    by 0x76D507: _outJsonExpr (outfuncs.c:1752)
==31224==    by 0x777CA1: outNode (outfuncs.c:4395)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x76A4D2: _outTableFunc (outfuncs.c:1068)
==31224==    by 0x776D89: outNode (outfuncs.c:3912)
==31224==    by 0x7744FD: _outRangeTblEntry (outfuncs.c:3209)
==31224==    by 0x777959: outNode (outfuncs.c:4290)
==31224==    by 0x767000: _outList (outfuncs.c:187)
==31224==    by 0x776874: outNode (outfuncs.c:3753)
==31224==    by 0x773713: _outQuery (outfuncs.c:3049)
==31224==  Uninitialised value was created by a stack allocation
==31224==    at 0x5B0C19: base_yyparse (gram.c:26287)
==31224== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:vfprintf
   fun:vsnprintf
   fun:pvsnprintf
   fun:appendStringInfoVA
   fun:appendStringInfo
   fun:_outCoerceViaIO
   fun:outNode
   fun:_outJsonCoercion
   fun:outNode
   fun:_outJsonExpr
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outTableFunc
   fun:outNode
   fun:_outRangeTblEntry
   fun:outNode
   fun:_outList
   fun:outNode
   fun:_outQuery
}
==31221== Conditional jump or move depends on uninitialised value(s)
==31221==    at 0x49E58B: ginFillScanEntry (ginscan.c:72)
==31221==    by 0x49EB56: ginFillScanKey (ginscan.c:221)
==31221==    by 0x49EF72: ginNewScanKey (ginscan.c:369)
==31221==    by 0x4A3875: gingetbitmap (ginget.c:1807)
==31221==    by 0x4F620B: index_getbitmap (indexam.c:727)
==31221==    by 0x6EE342: MultiExecBitmapIndexScan (nodeBitmapIndexscan.c:104)
==31221==    by 0x6DA8F8: MultiExecProcNode (execProcnode.c:506)
==31221==    by 0x6EC53D: BitmapHeapNext (nodeBitmapHeapscan.c:118)
==31221==    by 0x6DC26D: ExecScanFetch (execScan.c:95)
==31221==    by 0x6DC308: ExecScan (execScan.c:162)
==31221==    by 0x6ED7E5: ExecBitmapHeapScan (nodeBitmapHeapscan.c:730)
==31221==    by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
==31221==    by 0x6E5961: ExecProcNode (executor.h:239)
==31221==    by 0x6E5E25: fetch_input_tuple (nodeAgg.c:406)
==31221==    by 0x6E8091: agg_retrieve_direct (nodeAgg.c:1736)
==31221==    by 0x6E7C84: ExecAgg (nodeAgg.c:1551)
==31221==    by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
==31221==    by 0x6D1361: ExecProcNode (executor.h:239)
==31221==    by 0x6D3BB7: ExecutePlan (execMain.c:1721)
==31221==    by 0x6D1917: standard_ExecutorRun (execMain.c:361)
==31221==  Uninitialised value was created by a heap allocation
==31221==    at 0xA64FDC: palloc (mcxt.c:858)
==31221==    by 0x938636: gin_extract_jsonpath_query (jsonb_gin.c:630)
==31221==    by 0x938AB6: gin_extract_jsonb_query (jsonb_gin.c:746)
==31221==    by 0xA340C0: FunctionCall7Coll (fmgr.c:1201)
==31221==    by 0x49EE7F: ginNewScanKey (ginscan.c:313)
==31221==    by 0x4A3875: gingetbitmap (ginget.c:1807)
==31221==    by 0x4F620B: index_getbitmap (indexam.c:727)
==31221==    by 0x6EE342: MultiExecBitmapIndexScan (nodeBitmapIndexscan.c:104)
==31221==    by 0x6DA8F8: MultiExecProcNode (execProcnode.c:506)
==31221==    by 0x6EC53D: BitmapHeapNext (nodeBitmapHeapscan.c:118)
==31221==    by 0x6DC26D: ExecScanFetch (execScan.c:95)
==31221==    by 0x6DC308: ExecScan (execScan.c:162)
==31221==    by 0x6ED7E5: ExecBitmapHeapScan (nodeBitmapHeapscan.c:730)
==31221==    by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
==31221==    by 0x6E5961: ExecProcNode (executor.h:239)
==31221==    by 0x6E5E25: fetch_input_tuple (nodeAgg.c:406)
==31221==    by 0x6E8091: agg_retrieve_direct (nodeAgg.c:1736)
==31221==    by 0x6E7C84: ExecAgg (nodeAgg.c:1551)
==31221==    by 0x6DA80A: ExecProcNodeFirst (execProcnode.c:446)
==31221==    by 0x6D1361: ExecProcNode (executor.h:239)
==31221== 
{
   <insert_a_suppression_name_here>
   Memcheck:Cond
   fun:ginFillScanEntry
   fun:ginFillScanKey
   fun:ginNewScanKey
   fun:gingetbitmap
   fun:index_getbitmap
   fun:MultiExecBitmapIndexScan
   fun:MultiExecProcNode
   fun:BitmapHeapNext
   fun:ExecScanFetch
   fun:ExecScan
   fun:ExecBitmapHeapScan
   fun:ExecProcNodeFirst
   fun:ExecProcNode
   fun:fetch_input_tuple
   fun:agg_retrieve_direct
   fun:ExecAgg
   fun:ExecProcNodeFirst
   fun:ExecProcNode
   fun:ExecutePlan
   fun:standard_ExecutorRun
}

view thread (198+ messages)  latest in thread

Message-ID: <698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com>
Permalink:  ../698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com/
Also on:    postgresql.org/message-id/698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com

 · 

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: pgsql-hackers@postgresql.org
  Cc: tomas.vondra@2ndquadrant.com, n.gluhov@postgrespro.ru, obartunov@gmail.com, andrew.dunstan@2ndquadrant.com, pavel.stehule@gmail.com
  Subject: Re: jsonpath
  In-Reply-To: <698a11a8-2ed6-7477-2fa0-9a7c262e6c3c@2ndquadrant.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox